FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems

by Geza Tarnai (Editor), Geza Tarnai (Editor), Eckehard Schnieder (Editor)

New
Paperback
2014
$203.90

$203.90

Quantity

10 in stock

More Information

Format: Paperback
Pages: 272
Edition: 2011
Publisher: Springer
Published: 29 Sep 2014
ISBN 10: 3642427162
ISBN 13: 9783642427169

FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems

New

$203.90

$203.90

More Information