Delivery included to the United States

VDM '90

VDM '90 VDM and Z : Formal Methods in Software Development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 ; Proceedings - Lecture Notes in Computer Science

Paperback

Not available for sale

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Publisher's Synopsis

VDM stands for Vienna Development Method, while Z refers to Zermelo, a mathematician whose name is associated with set theory. VDM Europe, formed around 1985 by the Commission of the European Communities, is a group of industrial and academic software engineers, programmers and scientists interested in model theoretic formal software development me

Book information

ISBN: 9780387525136
Publisher: Springer Verlag,.
Imprint: Springer Verlag,.
Language: English
Weight: 1088g
Height: 241mm
Width: 165mm
Spine width: 38mm