An Introduction to Formal Specification With Z and Vdm (The McGraw-Hill International Series in Software Engineering)

by Deri Sheppard Paperback details (USA). ISBN: 978-0-07-707907-9 ISBN-10: 0-07-707907-8 McGraw-Hill Book Co Ltd · 1994