Teaching formal methods : CoLogNET/FME symposium, TFM 2004, Ghent, Belgium, november 18-19, 2004 : proceedings

Professional engineers can often be distinguished from other designers by the engineers ability to use mathematical models to describe and 1 analyze their products. This observation by Parnas describes the de facto professional standards in all classical engineering disciplines (civil, mechanical, e...

Description complète

Détails bibliographiques

Auteur principal:	Dean, Neville, 19..-
Collectivité auteur:	TFM 2004 (Auteur)
Autres auteurs:	Boute, Raymond T. (Directeur de la publication)
Format:	Livre numérique
Langue:	Anglais
Publié:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Collection:	Lecture notes in computer science 3294
Sujets:	Génie logiciel Informatique Étude et enseignement Systèmes, Conception de Logique symbolique et mathématique Structures de données (informatique) Logiciels > Développement Actes de congrès
Accès en ligne:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Note:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Teaching formal methods, CoLogNET/FME symposium, TFM 2004, Ghent, Belgium, november 18-19, 2004, proceedings, C. Neville Dean, Raymond T. Boute (eds.), Berlin, Springer, 2004, 1 vol. (X-248 p.), Lecture notes in computer science, 3-540-23611-2 • Teaching Formal Methods, Texte imprimé, 9783662194706