Introduction to Formal Specification with Z and VDM (McGraw-Hill International S
Introduction to Formal Specification with Z and VDM (McGraw-Hill International Series in Software Engineering). Title: Introduction to Formal Specification with Z and VDM (McGraw-Hill International Series in Software Engineering).