English
Vdm '87,vdm-a formal method at work :
vdm-europe symposium 1987 was held in brussels#March 23-26
Bjorner, D. (Editeur) ; Jones, C. B. (Editeur) ; Mac An Airchinnigh, M. (Editeur) ; Neuhold, E. J. (Editeur)
1987
422 p.
978-3-540-17654-1
00013970
langage de programmation # programmation # technique de programmation
Ville d'édition : Berlin ; Heidelberg ; N.Y.
Pays d'édition : Allemagne
Langue : Anglais
EAN13 : 9783540176541
ISBN : 3-540-17654-3
Collation : ix#fig.#24 cm#broch. ; Bibliogr.
Collection : Lecture notes in computer science
N° de collection : 0252
Localisation : Collection 1er étage
Année de la rencontre : 1987
Ville du congrès : Brussels
Pays du congrès : Belgique
Code ACM : D.2.2 ; D.3.1 ; F.3.2
Type Congrès : Congrès
Disponibilité : empruntable
Niveau d'autorisation : Public
Exemplaires
Nbre d'exemplaires : 1| N° | Cote | Code barre | Commentaire | |
|---|---|---|---|---|
| 1 | 00013970 | [disponible] |
