ZUM '95 : the Z formal specification notation : 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings

This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995. The book contains 34 carefully selected papers on Z, using Z, applications of Z, proof, testing, industrial usage, object orientation, animation of specificat...

Celý popis

Podrobná bibliografie

Korporativní autor:	International Conference of Z Users :Limerick
Další autoři:	Bowen, Jonathan Peter, 1956- (Šéfredaktor, odpovědný redaktor), Hinchey, Michael Gerard, 1969- (Šéfredaktor, odpovědný redaktor)
Médium:	Livre numérique
Jazyk:	Anglais
Vydáno:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Edice:	Lecture notes in computer science 967
Témata:	Génie logiciel Informatique Ordinateurs Analyse combinatoire Z (méthode formelle) Actes de congrès
On-line přístup:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Poznámka:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• ZUM '95, the Z formal specification notation, 9th International Conference of Z Users, Limerick, Ireland, September 1995, proceedings, Jonathan P. Bowen, Michael G. Hinchey, eds, Berlin, Springer, 1995, 1 vol. (XI-569 p.), Lecture notes in computer science, 3-540-60271-2 • ZUM '95: The Z Formal Specification Notation, Texte imprimé, 9783662169612