Formal Methods for Industrial Critical Systems / Lecture Notes in Computer Science Bd.9128 (PDF)
The 12 papers presented in this volume were carefully reviewed and selected from 20...
25 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
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.
- 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.
- Dateiformat: PDF
- Größe: 5.07 MB
- Mit Kopierschutz
- Vorlesefunktion
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Formal Methods for Industrial Critical Systems / Lecture Notes in Computer Science Bd.9128".
Kommentar verfassen