Automatic Methods for the Refinement of System Models
From the Specification to the Implementation
Edición de la obra Automatic Methods for the Refinement of System Models
| Autor | Julia Seiter, Robert Wille, Rolf Drechsler |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Jul 05, 2016 |
| Páginas | 104 |
| Formato | paperback |
| ISBN-13 | 9783319414799 |
| ISBN-10 | 3319414798 |
| Número de Cutter | S462a |