Formal Methods for Industrial Critical Systems / Lecture Notes in Computer Science Bd.6959 (PDF)
16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings
(Sprache: Englisch)
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...
The 16 papers presented together with 2 invited talks were carefully reviewed and...
sofort als Download lieferbar
eBook (pdf)
54.99 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Formal Methods for Industrial Critical Systems / Lecture Notes in Computer Science Bd.6959 (PDF)“
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 the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications.
The 16 papers presented together with 2 invited talks were carefully reviewed and selected from 39 submissions. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications.
Bibliographische Angaben
- 2011, 2011, 261 Seiten, Englisch
- Herausgegeben: Gwen Salaün, Bernhard Schätz
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3642244319
- ISBN-13: 9783642244315
- Erscheinungsdatum: 19.09.2011
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 4.37 MB
- Mit Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Kommentar zu "Formal Methods for Industrial Critical Systems / Lecture Notes in Computer Science Bd.6959"
Schreiben Sie einen Kommentar zu "Formal Methods for Industrial Critical Systems / Lecture Notes in Computer Science Bd.6959".
Kommentar verfassen