An edition of Proof in VDM (1994)
a practitioner's guide
By Juan Carlos Bicarregui,Juan C. Bicarregui,John S. Fitzgerald
Publish Date
1994
Publisher
Springer-Verlag
Language
eng
Pages
362
Description:
subjects: Development, Computer software, System design, Automatic theorem proving, Computer software, development