An introduction to formal specification and Z

Saved in:
Bibliographic Details
Main Author: Potter, Ben
Other Authors: Till, David, Sinclair, Jane
Format: Book
Published: Harlow Prentice Hall 1996
Edition:2nd ed
Series:Prentice Hall International series in computer science
Subjects:
Online Access:Click Here to View Status and Holdings.
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Item Description:Includes bibliographical references and index
Physical Description:xiv, 434 p. ill. 24 cm
ISBN:0132422077