von Juan C. Bicarregui
Taschenbuch
ISBN-13: 978-3-540-19813-0
ISBN-10: 3-540-19813-X
Springer · 2013
|
|
von Juan C. BicarreguiTaschenbuch
ISBN-13: 978-3-540-19813-0 ISBN-10: 3-540-19813-X Springer · 2013 |
| Siehe auch: | ||
| 1995 | Paperback | Proof in Vdm: A Practitioner's Guide (Formal Approaches to Computing and Information Technology) |