1993 - Proof in Vdm a Practitioner's Guide [Formal Approaches to Computing and Information Technology FACIT] (Paperback) ISBN-13: 9783540198130 ISBN-10: 354019813X Genre: Computers & Technology ? |
1993 - Proof in Vdm a Practitioner's Guide [Formal Approaches to Computing and Information Technology FACIT] (Paperback) ISBN-13: 9783540198130 ISBN-10: 354019813X Genre: Computers & Technology ? |