English
Formal methods and software development. Vol. 2 :
proceedings of the international joint conference on...#March 25-29
Ehrig, Hartmut (Editeur) ; Floyd, Christiane (Editeur) ; Nivat, Maurice (Editeur) ; Thatcher, James (Editeur)
1985
455 p.
978-3-540-15199-9
00013909
logiciel # logique # progammation logique # programmation # programme
Ville d'édition : Berlin ; Heidelberg ; N.Y.
Pays d'édition : Allemagne
Langue : Anglais ; Allemand
EAN13 : 9783540151999
ISBN : 3-540-15199-0
Collation : xiv#fig.#24 cm#broch. ; Bibliogr.
Collection : Lecture notes in computer science
N° de collection : 0186
Localisation : Collection 1er étage
Année de la rencontre : 1985
Ville du congrès : Berlin
Pays du congrès : Allemagne
Type Congrès : Congrès
Disponibilité : empruntable
Niveau d'autorisation : Public
Exemplaires
Nbre d'exemplaires : 1| N° | Cote | Code barre | Commentaire | |
|---|---|---|---|---|
| 1 | 00013909 | [disponible] |
