Formal Methods for Industrial Critical Systems / Lecture Notes in Computer Science Bd.8718 (PDF)
19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings
(Sprache: Englisch)
This book constitutes the proceedings of the 19th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2014, held in Florence, Italy, in September 2014. The 13 papers presented in this volume were carefully reviewed and selected...
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.8718 (PDF)“
This book constitutes the proceedings of the 19th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2014, held in Florence, Italy, in September 2014. The 13 papers presented in this volume were carefully reviewed and selected from 26 submissions. They are organized in topical sections named: cyber-physical systems; computer networks; railway control systems; verification methods; and hardware and software testing.
Bibliographische Angaben
- 2014, 2014, 201 Seiten, Englisch
- Herausgegeben: Frédéric Lang, Francesco Flammini
- Verlag: Springer-Verlag GmbH
- ISBN-10: 331910702X
- ISBN-13: 9783319107028
- Erscheinungsdatum: 01.09.2014
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 4.78 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.8718"
Schreiben Sie einen Kommentar zu "Formal Methods for Industrial Critical Systems / Lecture Notes in Computer Science Bd.8718".
Kommentar verfassen