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 ? Proof in Vdm a Practitioner's Guide [Formal Approaches to Computing and Information Technology] (Paperback) ISBN-13: 9780387198132 ISBN-10: 038719813X Genres: Computers & Technology, Science & Math ? |