Proof in VDM: Case Studies (Formal Approaches to Computing and Information Technology (FACIT))
Full Title: | Proof in VDM: Case Studies (Formal Approaches to Computing and Information Technology (FACIT)) |
---|---|
ISBN: | 3540761861 |
ISBN13: | 9783540761860 |
List Price: | USD $139.00 |
Authors: |
J. C. Bicarregui |