An introduction to formal specification with Z and VDM / Deri Sheppard.

Saved in:
Bibliographic Details
Main Author: Sheppard, Deri
Format: Book
Published: London : McGraw-Hill, 1995 [i.e. 1994]
Series:The McGraw-Hill international series in software engineering
Tags: Add Tag
No Tags, Be the first to tag this record!

Pilkington Library - Pilkington Main Collection

Call Number: 005.131/SHE
Copy [0402058860] Available