Formal Methods in Software and Systems Modeling
Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)
Edición de la obra Formal methods in software and systems modeling
| Autor | Hartmut Ehrig |
|---|---|
| Editorial | Springer |
| Fecha de publicación | March 24, 2005 |
| Idioma | inglés |
| Páginas | 413 |
| Formato | Paperback |
| ISBN-13 | 9783540249368 |
| ISBN-10 | 3540249362 |
| Número de Cutter | E33f |