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 Berlin / Heidelberg |
| Fecha de publicación | 2014 |
| Idioma | inglés |
| Páginas | 257 |
| ISBN-13 | 9783642427169 |
| Número de Cutter | S361f |