VDM'90 : VDM and Z - formal methods in software development / Tird International Symposium of VDM Europe; ed. D. Bjorner, C. A. R. Hoare, H. Langmaack
Corporate Author (Main)
International Symposium of VDM Europe, 3, Kiel, 1990
Secondary Author
Bjorner, D.
Hoare, C. A. R.
Langmaack, H.
Country
Alemanha.
Publication
Berlin : Springer-Verlag, cop. 1990
Description
XVII, 579 p. ;
24 cm
Series
Lecture notes in computer science , 428)
ISBN
3-540-5213-0
CDU
519.6
There are no comments for this item.