| Forms/Format 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems 2011 Edition Contributor(s): Schnieder, Eckehard (Editor), Tarnai, Geza (Editor) |
|
 |
ISBN: 3642427162 ISBN-13: 9783642427169 Publisher: Springer OUR PRICE: $208.99 Product Type: Paperback - Other Formats Published: September 2014 |
| Additional Information |
| BISAC Categories: - Technology & Engineering | Industrial Engineering - Computers | Computer Simulation - Technology & Engineering | Engineering (general) |
| Dewey: 388.028 |
| Physical Information: 0.57" H x 6.14" W x 9.21" (0.85 lbs) 257 pages |