Vdm '87,vdm-a formal method at work :
vdm-europe symposium 1987 was held in brussels#March 23-26
Bjorner, D. (Editor) ; Jones, C. B. (Editor) ; Mac An Airchinnigh, M. (Editor) ; Neuhold, E. J. (Editor)
1987
422 p.
978-3-540-17654-1
00013970
langage de programmation # programmation # technique de programmation
Publisher City : Berlin ; Heidelberg ; N.Y.
Publisher country : Allemagne
Language : English
EAN13 : 9783540176541
ISBN : 3-540-17654-3
Collation : ix#fig.#24 cm#broch. ; Bibliogr.
Series : Lecture notes in computer science
Nb in series : 0252
Location : Collection 1er étage
Event Year : 1987
City of congres : Brussels
Country of congres : Belgique
ACM code : D.2.2 ; D.3.1 ; F.3.2
Conference type : Congrès
Availability : empruntable
Level of authorization : Public
No. | Call n° | Bar code | Commentary | |
---|---|---|---|---|
1 | 00013970 | [available] |