ZUM '97, the Z formal specification notation : 10th International Conference of Z Users, Reading, UK, April 3-4, 1997 : proceedings /

Bibliographic Details
Corporate Authors:	International Conference of Z Users Reading, England, SpringerLink (Online service)
Other Authors:	Bowen, J. P. (Jonathan Peter), 1956-, Hinchey, Michael G. (Michael Gerard), 1969-, Till, David, 1942-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [1997]
Series:	Lecture notes in computer science ; 1212.
Subjects:	Z (Computer program language) > Congresses. sémantique langage programmation. langage spécification. langage Z. Z (Langage de programmation) > Congrès. Z (Computer program language) Z (programmeertaal) Programmatuurtechniek. Engenharia De Programacao (Software) Z (langage de programmation) > Congrès. Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book

Remote Storage