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

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

Bibliographic Details
Main Authors: Bjorner, D. [ (Dines)] , 1937- (Author), Hoare, C. A. R. [ (Charles Antony Richard)] , 1934- (Author), Langmaack, Hans (Author)
Corporate Author: International Symposium of VDM Europe
Format: Book
Published: Berlin : Springer-Verlag , c1990
Series:Lecture notes in computer science / edited by G. Goos and J. Hartmanis
Subjects:
Computer software > Development > Congresses
Description
Physical Description:xvii, 579 p. ; ; 25 cm.
ISBN:3540525130

Similar Items