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

Name: FORMS/FORMAT 2010: Formal Methods for Automation and Safety in Railway and Automotive Systems
Brand: Springer
Availability: OutOfStock
Rating: 5 (1 reviews)

By Geza Tarnai

0 - Default Title

Product details

Edition:

1

Number of Pages:

268

Release Date:

2011-02-23

Publication Date:

2011-02-23

Publisher:

Springer

Languages:

Published: English, Original: English

ISBN10:

3642142605

GPSR Manufacturer Reference:

[email protected]

Weight:

1230 g

Buy on Amazon

Currently sold out