Placeholder text
Proof in Vdm: A Practitioner's Guide (Formal Approaches to Computing and Information Technology (FACIT))
Proof in Vdm: A Practitioner's Guide (Formal Approaches to Computing and Information Technology (FACIT))
0 - Default Title
Product details
Binding:
Paperback
Edition:
1
Number of Pages:
380
Release Date:
2013-10-04
Publication Date:
2013-10-04
Publisher:
Springer
Languages:
Published:
English,
Original:
English
ISBN10:
354019813X
GPSR Manufacturer Reference:
Weight:
535 g
Currently sold out