ISBN 9783540761860 books & textbook

Proof in VDM: Case Studies (Formal Approaches to Computing and Information Technology (FACIT))

Bicarregui, Juan C.

Springer /1998-03-02 Paperback / 241 Pages
isbn-10: 3540761861 / isbn-13: 9783540761860