Cover image for FORMS/FORMAT 2010 Formal Methods for Automation and Safety in Railway and Automotive Systems
Title:
FORMS/FORMAT 2010 Formal Methods for Automation and Safety in Railway and Automotive Systems
Author:
Schnieder, Eckehard. editor.
ISBN:
9783642142611
Physical Description:
XI, 257p. online resource.
Added Author:
Added Corporate Author:
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
E-Book 192596-2001 ONLINE
Searching...

On Order