Critical Systems: Formal Methods and Automated Verification / Lecture Notes in Computer Science Bd.9933 (PDF)
Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
(Sprache: Englisch)
This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa,...
sofort als Download lieferbar
eBook (pdf)
53.49 €
26 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Critical Systems: Formal Methods and Automated Verification / Lecture Notes in Computer Science Bd.9933 (PDF)“
This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016.
The 11 full papers and 4 short papers presented together with one invited talk were carefully reviewed and selected from 24 submissions. They are organized in the following sections: automated verification techniques; model-based system analysis; and applications and case studies.
Bibliographische Angaben
- 2016, 1st ed. 2016, 247 Seiten, Englisch
- Herausgegeben: Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3319459430
- ISBN-13: 9783319459431
- Erscheinungsdatum: 12.09.2016
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 18 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 "Critical Systems: Formal Methods and Automated Verification / Lecture Notes in Computer Science Bd.9933"
0 Gebrauchte Artikel zu „Critical Systems: Formal Methods and Automated Verification / Lecture Notes in Computer Science Bd.9933“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Critical Systems: Formal Methods and Automated Verification / Lecture Notes in Computer Science Bd.9933".
Kommentar verfassen