Formal Methods: Applications and Technology 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected /

These are the joint ?nal proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006) and the ?fth International Workshop on Parallel and Distributed Methods in Veri?cation (PDMC 2006). Both workshops were organized as satellite events of CONCUR 2006,...

Description complète

Détails bibliographiques

Cote:	Libro Electrónico
Collectivité auteur:	SpringerLink (Online service)
Autres auteurs:	Brim, Lubos (Éditeur intellectuel), Haverkort, Boudewijn (Éditeur intellectuel), Leucker, Martin (Éditeur intellectuel), Pol, Jaco van de (Éditeur intellectuel)
Format:	Électronique eBook
Langue:	Inglés
Publié:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Édition:	1st ed. 2007.
Collection:	Programming and Software Engineering, 4346
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