Formal methods and hybrid real-time systems
essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays
Edición de la obra Formal methods and hybrid real-time systems
| Autor | D. Bjørner, Jones, C. B., Jim Woodcock |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2007 |
| Lugar | Berlin, New York |
| Idioma | inglés |
| Páginas | 538 |
| ISBN-13 | 9783540752202 |
| ISBN-10 | 354075220X |
| OCLC |