Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers /

This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2007, held in Berlin, Germany, in July 2007 - colocated with CAV 2007, the 19th International Conference on Computer Aided Verification....

Description complète

Détails bibliographiques

Cote:	Libro Electrónico
Collectivité auteur:	SpringerLink (Online service)
Autres auteurs:	Leue, Stefan (Éditeur intellectuel), Merino, Pedro (Éditeur intellectuel)
Format:	Électronique eBook
Langue:	Inglés
Publié:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.
Édition:	1st ed. 2008.
Collection:	Programming and Software Engineering, 4916
Sujets:	Computer science. Software engineering. Compilers (Computer programs). Computers, Special purpose. Theory of Computation. Software Engineering. Computer Science Logic and Foundations of Programming. Compilers and Interpreters. Special Purpose and Application-Based Systems.
Accès en ligne:	Texto Completo