Formal Techniques for Safety-Critical Systems
4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers
Paperback
Print on Demand | Lieferzeit: Print on Demand - Lieferbar innerhalb von 3-5 Werktagen I
60,10 €*
Alle Preise inkl. MwSt.|Versandkostenfrei
ISBN-13:
9783319295091
Veröffentl:
2016
Einband:
Paperback
Erscheinungsdatum:
03.02.2016
Seiten:
284
Autor:
Peter Csaba Ölveczky
Gewicht:
435 g
Format:
235x155x16 mm
Serie:
596, Communications in Computer and Information Science
Sprache:
Englisch
Beschreibung:
This book constitutes the refereed proceedings of the 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015, held in Paris, France, in November 2015.
Includes supplementary material: sn.pub/extras
Kunden Rezensionen
Mehr zum Thema
Folgen Sie uns auf:
