
FORMS/FORMAT 2010
- Alaotsikko
- Formal Methods for Automation and Safety in Railway and Automotive Systems
- Toimittaja
- Eckehard Schnieder, Geza Tarnai
- Painos
- 2011 ed.
- ISBN
- 9783642427169
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 29.9.2014
- Sivumäärä
- 257