
FORMS/FORMAT 2010
- Undertittel
- Formal Methods for Automation and Safety in Railway and Automotive Systems
- Redaktør
- Eckehard Schnieder, Geza Tarnai
- Opplag
- 2011 ed.
- ISBN
- 9783642142604
- Språk
- Engelsk
- Vekt
- 446 gram
- Utgivelsesdato
- 23.2.2011
- Antall sider
- 257
