An edition of Proof in VDM (1994)
Proof in VDM
a practitioner's guide
By Juan Carlos Bicarregui,Juan C. Bicarregui,John S. Fitzgerald
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
1994
Publisher
Springer-Verlag
Language
eng
Pages
362
Book Lists