FME '97 : industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15 19, 1997 : proceedings

This book constitutes the refereed proceedings of FME '97, the 4th International Symposium of Formal Methods Europe devoted to Industrial Applications and Strengthened Foundations of Formal Methods , held in Graz, Austria, in September 1997. The 35 revised full papers presented in the volume we...

Fuld beskrivelse

Bibliografiske detaljer

Institution som forfatter:	International Symposium on Formal methods Europe :Graz, Autriche
Andre forfattere:	Fitzgerald, John, 1965- (Directeur de la publication), Jones, Cliff B., 1944- (Directeur de la publication), Lucas, Peter, 1955- (Directeur de la publication)
Format:	Livre numérique
Sprog:	Anglais
Udgivet:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serier:	Lecture notes in computer science 1313
Fag:	Génie logiciel Informatique Langages de programmation Ordinateurs Systèmes, Conception de Méthodologie Logiciels > Développement Actes de congrès
Online adgang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Kommentar:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• FME '97, industrial applications and strengthened foundations of formal methods, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997, proceedings, John Fitzgerald, Cliff B. Jones, Peter Lucas, eds, 1997, Berlin, Springer, 1 vol. (XIII-684 p.), Lecture notes in computer science, 3-540-63533-5 • FME '97 Industrial Applications and Strengthened Foundations of Formal Methods, Texte imprimé, 9783662183335