An introduction to formal specification and Z /

Bibliographic Details
Main Author: Potter, Ben
Other Authors: Sinclair, Jane, Till, David, 1942-
Format: Book
Language:English
Published: London : Prentice-Hall, 1996.
Edition:2a. ed.
Series:Prentice-Hall international series in computer science
Subjects:
Description
Item Description:La biblioteca posee 3 ej.
Physical Description:xiv, 434 p. : il. ; 24 cm.
ISBN:0132422077