VDM '90 : VDM and Z : formal methods in software development : third international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 ; proceedings /

Bibliographic Details
Corporate Authors:	VDM (Symposium) Kiel, Germany), SpringerLink (Online service), VDM-Europe
Other Authors:	Bjørner, D. (Dines), 1937-, Hoare, C. A. R. (Charles Antony Richard), 1934-, Langmaack, Hans
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1990]
Series:	Lecture notes in computer science ; 428.
Subjects:	Computer software > Development > Congresses. formalisation. système orienté objet. Methodologie. langage spécification. VDM. méthode Z. développement logiciel. Logiciels > Développement > Congrès. Computer software > Development. Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book

Published 1990

Conference Proceeding Book