VDM '90 VDM and Z - formal methods in software development proceedings of the ... held April 17-21, 1990

VDM '90 VDM and Z - formal methods in software development

Saved in:
Bibliographic Details
Corporate Author: International Symposium of VDM Europe
Other Authors: Bjorner, D. 1937- Dines, Hoare, C.A.R. 1934- Charles Antony Richard, Langmaack, Hans
Format: Book
Published: Berlin Springer-Verlag 1990
Series:Lecture notes in computer science 428
Subjects:
Computer software > Congresses > Development
Online Access:Click Here to View Status and Holdings.
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Physical Description:xvii, 579 p. ill. 24 cm
ISBN:3540525130

Similar Items