FORMS/FORMAT 2010
Formal Methods for Automation and Safety in Railway and Automotive Systems
Edición de la obra FORMS/FORMAT 2010
| Autor | Eckehard Schnieder, Geza Tarnai |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Feb 17, 2011 |
| Páginas | 272 |
| Formato | paperback |
| ISBN-13 | 9783642142628 |
| ISBN-10 | 3642142621 |
| Número de Cutter | S361f |