Formal Methods for Industrial Critical Systems 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings /

This book constitutes the proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, held in Trento, Italy, in August 2011. The 16 papers presented together with 2 invited talks were carefully reviewed and selected from 39 submissions. The aim of th...

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Collectivité auteur: SpringerLink (Online service)
Autres auteurs: Salaün, Gwen (Éditeur intellectuel), Schätz, Bernhard (Éditeur intellectuel)
Format: Électronique eBook
Langue:Inglés
Publié: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.
Édition:1st ed. 2011.
Collection:Programming and Software Engineering, 6959
Sujets:
Software engineering.
Computer science.
Compilers (Computer programs).
Computers, Special purpose.
Computer programming.
Machine theory.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Compilers and Interpreters.
Special Purpose and Application-Based Systems.
Programming Techniques.
Formal Languages and Automata Theory.
Accès en ligne:Texto Completo

Internet

Texto Completo

Items no disponibles

Informations d'exemplaires de

Documents similaires