Franklin

ZUM '95, the Z formal specification notation : 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings / Jonathan P. Bowen, Michael G. Hinchey, eds.

Publication:
Berlin ; New York : Springer, c1995.
Conference Name:
International Conference of Z Users (9th : 1995 : Limerick, Limerick, Ireland)
Series:
Lecture notes in computer science; 967
Lecture notes in computer science
Format/Description:
Conference/Event
Book
xi, 569 p. : ill. ; 24 cm.
Subjects:
Z (Computer program language) -- Congresses.
Notes:
Includes bibliographical references and index.
Contributor:
Bowen, J. P. (Jonathan Peter), 1956-
Hinchey, Michael G. (Michael Gerard), 1969-
ISBN:
3540602712 (alk. paper)
OCLC:
33009492
Loading...
Location Notes Your Loan Policy
Description Status Barcode Your Loan Policy