Willkommen, schön sind Sie da!
Logo Ex Libris

Critical Systems: Formal Methods and Automated Verification

  • Kartonierter Einband
  • 264 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical ... Weiterlesen
20%
72.00 CHF 57.60
Sie sparen CHF 14.40
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

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.


Includes supplementary material: sn.pub/extras

Produktinformationen

Titel: Critical Systems: Formal Methods and Automated Verification
Untertitel: 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
Editor:
EAN: 9783319459424
ISBN: 3319459422
Format: Kartonierter Einband
Herausgeber: Springer International Publishing
Genre: Informatik
Anzahl Seiten: 264
Gewicht: 406g
Größe: H235mm x B155mm x T14mm
Jahr: 2016
Untertitel: Englisch
Auflage: 1st ed. 2016

Weitere Produkte aus der Reihe "Programming and Software Engineering"