by: Juan C. Bicarregui · John S. Fitzgerald
Paperback
ISBN: 978-0-387-19813-2
ISBN-10: 0-387-19813-X
Springer Verlag · 1995
|
|
by: Juan C. Bicarregui · John S. FitzgeraldPaperback
ISBN: 978-0-387-19813-2 ISBN-10: 0-387-19813-X Springer Verlag · 1995 |
| See also: | ||
| 2013 | Taschenbuch | Proof in Vdm: A Practitioner's Guide (Formal Approaches to Computing and Information Technology (FACIT)) |