Formal Methods for Industrial Critical Systems / Lecture Notes in Computer Science Bd.9128 (PDF)
20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings
(Sprache: Englisch)
This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015.
The 12 papers presented in this volume were carefully reviewed and selected from 20...
The 12 papers presented in this volume were carefully reviewed and selected from 20...
sofort als Download lieferbar
Printausgabe 52.80 €
eBook (pdf) -2%
51.69 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Formal Methods for Industrial Critical Systems / Lecture Notes in Computer Science Bd.9128 (PDF)“
This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015.
The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications; protocols; specification and analysis; verification.
Bibliographische Angaben
- 2015, 2015, 213 Seiten, Englisch
- Herausgegeben: Manuel Núñez, Matthias Güdemann
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3319194585
- ISBN-13: 9783319194585
- Erscheinungsdatum: 11.05.2015
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 5.07 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.9128"
Schreiben Sie einen Kommentar zu "Formal Methods for Industrial Critical Systems / Lecture Notes in Computer Science Bd.9128".
Kommentar verfassen