VDM '90. VDM and Z - Formal Methods in Software Development
Subtitle: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings (Lecture Notes in Computer Science)
Contributors: Dines Bjorner (Editor); C.A.R. Hoare (Editor); Hans Langmaack (Editor)
Edition: 1 edition
Publisher: Springer
Published: May 4, 1990
Language: eng
Format: Paperback
Number of pages: 580
ISBN-13: 9783540525134
Subjects: General Theory of Computing; Software engineering; Logic Design; Programming - Software Development; Computers / Logic Design; Computers : Programming - Software Development; Entwurfsmethodik; Formalisierung; Spezifikationsmethodik; distributed systems; formalisation; objektorientiertes Programmieren; specification methodology; verteilte Systeme; Computers - General Information