FME 2002 : formal methods : getting IT right : [11th] International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22 24, 2002 : proceedings

This volume contains the proceedings of the 2002 symposium Formal Methods th Europe (FME 2002). The symposium was the 11 in a series that began with a VDM Europe symposium in 1987. The symposia are traditionally held every 18 months. In 2002 the symposium was held at the University of Copenhagen, as...

Ausführliche Beschreibung

Bibliographische Detailangaben

Körperschaft:	International Symposium of Formal Methods Europe :Copenhague
Weitere Verfasser:	Eriksson, Lars-Henrik, 19..- (Verlagsleitung), Lindsay, Peter Alexander, 19..- (Verlagsleitung)
Format:	Livre numérique
Sprache:	Anglais
Veröffentlicht:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Schriftenreihe:	Lecture notes in computer science 2391
Schlagworte:	Génie logiciel Informatique Langages de programmation Ordinateurs Logiciels > Développement Actes de congrès
Online Zugang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Anmerkung:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• FME 2002, formal methods, getting IT right, International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, proceedings, Lars-Henrik Eriksson, Peter Alexander Lindsay (eds.), Berlin, Springer, 2002, 1 vol. (XI-624 p.), Lecture notes in computer science, 3-540-43928-5 • FME 2002: Formal Methods - Getting IT Right, Texte imprimé, 9783662182826