All Formats & Editions
1 - 2 of 2 results found
Forms/Format 2010: Formal Methods for Automatio...
Edition Description
A Formal description means and methods - Concepts, Applications and Requirements in Traffic and Transportation (simulation, UML, Petrinets, AIS, etc.) B Requirements and Applications in Railway (signaling applications, model based design and analysis) C Requirements and Applications...
Edition Details
Format:Hardcover
Language:English
ISBN:3642142605
Format: Hardcover
Condition:
$
219.99
Forms/Format 2010: Formal Methods for Automatio...
Edition Description
A Formal description means and methods - Concepts, Applications and Requirements in Traffic and Transportation (simulation, UML, Petrinets, AIS, etc.) B Requirements and Applications in Railway (signaling applications, model based design and analysis) C Requirements and Applications...
Edition Details
Format:Paperback
Language:English
ISBN:3642427162
Format: Paperback
Condition:
$
219.99
Copyright © 2026 Thriftbooks.com
Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Notice | Cookie Preferences | Accessibility Statement
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
