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

1 In a number of recent presentations most notably at FME 96 oneofthe foremost scientists in the ?eld of formal methods, C.A.R. Hoare,has highlighted the fact that formal methods are not the only technique for producing reliable software. This seems to have caused some controversy,not least amongst...

Descripción completa

Detalles Bibliográficos

Autor Corporativo:	International Conference of Z Users :Berlin
Otros Autores:	Bowen, Jonathan Peter, 1956- (Director de publicación), Fett, Andreas (Director de publicación), Hinchey, Michael Gerard, 1969- (Director de publicación)
Formato:	Livre numérique
Lenguaje:	Anglais
Publicado:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Colección:	Lecture notes in computer science 1493
Materias:	Génie logiciel Informatique Ordinateurs Logique symbolique et mathématique Z (méthode formelle) Actes de congrès
Acceso en línea:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• ZUM'98, the Z formal specification notation, 11th international conference of Z users, Berlin, Germany, September 24-26, 1998, proceedings, Jonathan P. Bowen, Andreas Fett, Michael G. Hinchey (eds), 1998, Berlin, Springer, 1 vol. (XV-415 p.), Lecture notes in computer science, 3-540-65070-9 • ZUM '98: The Z Formal Specification Notation, Texte imprimé, 9783662177235