Hans Langmaack - 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, 428, Band 428)

Brand : Springer, Binding : Taschenbuch, Edition : 1990, Label : Springer, Publisher : Springer, NumberOfItems : 1, PackageQuantity : 5, medium : Taschenbuch, numberOfPages : 608, publicationDate : 2008-06-13, authors : Hans Langmaack, Dines Bjørner, C.A.R. Hoare, ISBN : 3540525130 ...