FME '96 : industrial benefit and advances in formal methods : Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18 22, 1996 : proceedings

This book presents the refereed proceedings of the Third International Symposium of Formal Methods Europe, FME '96, held in Oxford, UK, in March 1996. FME '96 was co-sponsored by IFIP WG 14.3 and devoted to "the application and demonstrated industrial benefit of formal methods, their...

Descripción completa

Detalles Bibliográficos

Autor Corporativo:	International Symposium of Formal Methods Europe :Oxford, Angleterre
Otros Autores:	Gaudel, Marie-Claude, 1946- (Director de publicación), Woodcock, Jim, 1956- (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 1051
Materias:	Génie logiciel Informatique Langages de programmation Ordinateurs Logiciels > Développement 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:	• FME '96, industrial benefit and advances in formal methods, Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996, proceedings, Marie-Claude Gaudel, James Woodcock (eds.), 1996, Berlin, Springer, 1 vol. (XII-704 p.), Lecture notes in computer science, 3-540-60973-3 • FME '96: Industrial Benefit and Advances in Formal Methods, Texte imprimé, 9783662181423