Formal Methods for Industrial Critical Systems 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings /

This book constitutes the proceedings of the 14th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2009 held in Eindhoven, The Netherlands, in November 2009. The 10 papers presented were carefully reviewed and selected from 25 submissions. The volume also contains with...

Description complète

Détails bibliographiques

Cote:	Libro Electrónico
Collectivité auteur:	SpringerLink (Online service)
Autres auteurs:	Alpuente, María (Éditeur intellectuel), Cook, Byron (Éditeur intellectuel), Joubert, Christophe (Éditeur intellectuel)
Format:	Électronique eBook
Langue:	Inglés
Publié:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Édition:	1st ed. 2009.
Collection:	Programming and Software Engineering, 5825
Sujets:	Software engineering. Computer science. Compilers (Computer programs). Computers, Special purpose. Software Engineering. Computer Science Logic and Foundations of Programming. Compilers and Interpreters. Special Purpose and Application-Based Systems.
Accès en ligne:	Texto Completo