En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents 68Q60 45 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Mathematical theory of computation Manna, Zahor | McGraw-Hill Book Company 1974

Ouvrage

- 448 p.
Cote : 00009270
algorithme # automate # calcul des prédicats # informatique théorique # logique # machine de Turing # mathématique de l'informatique # programmation # théorie du point fixe # vérification de programme

03B05 ; 68Q05 ; 68Q60 ; 68Q68 ; 68Qxx

Localisation : Ouvrage RdC (MANNA)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Eci conference 1976 :
proceedings of the 1st. conference of the european cooperation in informatics#Aug. 9-12 Samelson, K. | Springer-Verlag 1976

Congrès

- 322 p.
Cote : 00013811
architecture des systèmes # programmation # programme # traitement des données # vérification de programme

68M07 ; 68Mxx ; 68P05 ; 68Q60

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

International symposium on programming#Avril 22-24 Robinet, B. | Springer-Verlag 1980

Congrès

- 341 p.
Cote : 00013816
conception assistée par ordinateur # langage # programmation # sémantique # testes

68N15 ; 68Nxx ; 68Q55 ; 68Q60 ; 68U07

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Abstract software specifications :
proceedings of the copenhagen winter school#Jan. 22 - Feb. 2 Bjorner, D. | Springer-Verlag 1980

Congrès

- 567 p.
Cote : 00013817
conception assistée par ordinateur # programmation # specification de programme

68-02 ; 68A05 ; 68A30 ; 68Q60

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Concur '91 :
2nd international conference on concurrency theory held in amsterdam#Aug. 26-29 Baeten, J. C. M. ; Groote, J. F. | Springer-Verlag 1991

Congrès

- 540 p.
Cote : 00014025
constructions de langages et carastéristique # définitions formelles et théorie # langages de progammation # modes de calcul # progammation concurrente # spécifications

68N05 ; 68N15 ; 68Q10 ; 68Q60

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Seminar on concurrency :
carnegie-mellon university#July 9-11 Brookes, S. D. ; Roscoe, A. W. ; Winskel, G. | Springer-Verlag 1985

Congrès

- 523 p.
Cote : 00013419
algèbre de l'informatique # communication des systèmes # développement des systèmes # informatique théorique # partage des ressources # programmation # spécification des systèmes # système asynchone de hardware

68Q40 ; 68Q60 ; 68Q65

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Approche logique de l'intelligence artificielle. Tome 4 :
de l'apprentissage artificiel aux frontières de l'IA Delsarte, Philippe ; Hagelstein, Jacques ; Thayse, Andre | Dunod 1991

Ouvrage

- 358 p.
Cote : 00016437
adaptation # apprentissage # biblog # conception conceptuelle des systèmes informatiques # conception des systèmes informatiques # intelligence artificielle # langage formel # méta-programmation # prolog # système automath # sémantique booléenne # sémantique des situations # sémantique formelle # transformation de programme # vérification de preuve

68Q45 ; 68Q55 ; 68Q60 ; 68T05 ; 68U07

Localisation : Enseignement RdC (Appr)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Rewriting techniques and applications :
7th international conference RTA-96#July 27-30 Ganzinger, Harald | Springer 1996

Congrès

- 435 p.
Cote : 00020980
algèbre de l'informatique # déduction # langage de programmation # langage formel # logique et signification de programme # logique mathématique # preuve du théorème # sémantique et langage de programmation # technique de réécriture des systèmes

68Q42 ; 68Q45 ; 68Q55 ; 68Q60 ; 68Q70

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Computer aided verification:
11th international conference, CAV'99#July 6-10 Halbwachs, Nicolas ; Peled, Doron A. | Springer-Verlag 1999

Congrès

- 506p.
Cote : 00029971
informatique # méthodes de vérification assistée par ordinateur # spécification # modélisation de systèmes # algorithme de démonstration de théorèmes

00B25 ; 68-06 ; 68Q60 ; 68T15

Localisation : Collection 1er étage

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

Interactive theorem proving and program development:
Coq'art: the calculus of inductive constructions Bertot, Yves ; Castéran, Pierre ; Huet, Gérard ; Paulin-Mohring, Christine | Springer 2010

Ouvrage

- xxv; 469 p.
Cote : 00041682
Coq # vérification de programme # assistant de preuve # démonstration automatique

68T15 ; 03B15 ; 03B35 ; 03B70 ; 68N18 ; 68Q60 ; 68-01

Localisation : Ouvrage RdC (BERT)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur

Listes : nb d'elts/page

Sélectionner : Tous / Aucun

Filtrer

Type

Auteurs

J Plus

Langue