Placeholder text
Vdm '90: Vdm and Z-Formal Methods in Software Development (Lecture Notes in Computer Science)
By D. Bjorner
Vdm '90: Vdm and Z-Formal Methods in Software Development (Lecture Notes in Computer Science)
By D. Bjorner
0 - Default Title
Product details
Binding:
Paperback
Release Date:
1990-06-01
Publication Date:
1990-06-01
Publisher:
Springer Verlag
Languages:
Published:
English,
Original:
English
ISBN10:
0387525130
Currently sold out