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 68B10 10 results

Filter
Select: All / None
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Foundations of computer science IV :
distributed systems. Part 2,semantics and logic
4th advanced course on... held in Amsterdam#June 14-25 De Bakker, J. W. ; Van Leeuwen, J. | Mathematisch Centrum 1985

Congrès

- 255 p.
Call n° : 00010485
informatique théorique # langage de programmation # logique de programmation # programmation # programme d'analyse # schéma

68B10 ; 68C05

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Foundations of computer science III. Part 2 :
languages, logic, semantics
3rd advanced course on the foundation of computer science held at amsterdam#Aug. 21 -Sept. 1 De Bakker, J. W. ; Van Leeuwen, J. | Mathematisch Centrum 1981

Congrès

- 164 p.
Call n° : 00010390
analyse des programmes # informatique théorique # langage formel # logique modale # sémantique # système formel

03B45 ; 68B10 ; 68C01 ; 68F05 ; 68F20

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Proceedings international conference on algol 68 :
rechenzentrum der ruhr-universitat bochum#March 30-31 Van Vliet, J. C. ; Wupper, H. | Mathematisch Centrum 1981

Congrès

- 232 p.
Call n° : 00010510

68-06 ; 68B10 ; 68B20

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

The misconstrued semicolon :
reconciling imperative languages and dataflow machines Veen, A. H. | Centre For Mathematics And Computer Science 1986

Ouvrage

- 180 p.
Call n° : 00011171
analyse de la programmation # programmation # système informatique

68A05 ; 68B10

Location : Disparu

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Translating programs into delay-insensitive circuits Ebergen, J. C. | Centre For Mathematics And Computer Science 1989

Ouvrage

- 216 p.
Call n° : 00013565
analyse des programmes # automate # circuit # commande combinatoire # commande non combinatoire # configuration des réseaux # réseau informatique # translation # vérification de programme

68B10 ; 68D10 ; 68FXX ; 94Cxx

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Logics of programs :
workshop on logics of programs was held at carnegie mellon university#June 6-8 Clarke, Edmund ; Kozen, Dexter | Springer-Verlag 1985

Congrès

- 431 p.
Call n° : 00010179

68B10 ; 68B15 ; 68B45 ; 68N15 ; 68Nxx

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Correctness preserving program refinements :
proof theory and applications Back, R. J. R. | Mathematisch Centrum 1985

Ouvrage

- 118 p.
Call n° : 00010507
programme # programme de correction # vérification de programme

68B10

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Formal definition of programming languages with an application to the DEFINITION OF ALGOL 60 De Bakker, J. W. | Mathematisch Centrum 1985

Ouvrage

- 207 p.
Call n° : 00010432

68A15 ; 68A30 ; 68B10 ; 68F05

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

A relational theory of computing Sanderson, John G. | Springer-Verlag 1980

Ouvrage

- 147 p.
Call n° : 00012093
calcul # langage formel # logique # outil mathématique de l'informatique # programmation # théorie des nombres

68B10 ; 68C01

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Semantics-directed compiler generation :
proceedings of a workshop held at aarhus#Jan. 14-18 Jones, Neil D. | Springer-Verlag 1980

Congrès

- 489 p.
Call n° : 00013821
compileur # générateur # grammaire # langage de programmation # processeur # sémantique # vérification de programme

68B10

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error

List: nb of elts/page

Select: All / None

Filter

Type

Authors

J More

Language