
FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems
Hardback Published on: 23/02/2011
Price: £179.99
Publisher information
- Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN: 9783642142604
- Number of pages: 257
- Dimensions: 235 x 155 mm
- Languages: English











