ZUM'98 : the Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998 : proceedings /

Bibliographic Details
Corporate Authors:	International Conference of Z Users Berlin, Germany, SpringerLink (Online service)
Other Authors:	Bowen, J. P. (Jonathan Peter), 1956-, Fett, Andreas, Hinchey, Michael G. (Michael Gerard), 1969-
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin : Springer, 1998.
Series:	Lecture notes in computer science ; 1493.
Subjects:	Z (Computer program language) > Congresses. sémantique langage programmation. Web. HOL. concurrence. langage spécification. langage Z. Logiciels > Développement > Congrès. Z (Langage de programmation) > Congrès. Z (Computer program language) Z (langage de programmation) > Congrès. Conception de système. Z (Langage de programmation) Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book

Remote Storage