Formal methods in software and systems modeling
essays dedicated to Hartmut Ehrig on the occasion of his 60th birthday
Edición de la obra Formal methods in software and systems modeling
| Autor | Hartmut Ehrig |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2005 |
| Lugar | Berlin, New York |
| Idioma | inglés |
| Páginas | 411 |
| ISBN-10 | 3540249362 |
| OCLC | 58472771 |
| LCCN | 2005920315 |
| Serie | Lecture notes in computer science, · 3393 · Festschrift |
| Número de Cutter |