An Introduction to Formal Specification With Z and Vdm
amazon.comBy Deri Sheppard; McGraw Hill Book Co.; 1994, ISBN 0077079078. Introduces Formal Methods (FM) via Z and Vdm. [Amazon.com]
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.