Proof in VDM : a practitioner's guide /
Other Authors: | Bicarregui, Juan C. |
---|---|
Format: | Book |
Language: | English |
Published: |
London ; New York :
Springer-Verlag,
c1994.
|
Subjects: |
Similar Items
-
Proof technology and computation /
Published: (2006) -
Proof technology and computation
Published: (2006) -
Automated theorem proving in software engineering /
by: Schumann, Johann M., 1960-
Published: (2001) -
Lectures on proof verification and approximation algorithms /
Published: (1998) -
Proof technology and computation /
Published: (2006)