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 | 2011 |
| Idioma | inglés |
| Páginas | 257 |
| ISBN-13 | 9783642142611 |
| Número de Cutter | S361f |