FM 2006: Formal Methods
14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings (Lecture Notes in Computer Science)
Edición de la obra FM 2006
| Autor | Jayadev Misra, Tobias Nipkow, Emil Sekerinski |
|---|---|
| Editorial | Springer |
| Fecha de publicación | September 25, 2006 |
| Idioma | inglés |
| Páginas | 620 |
| Formato | Paperback |
| ISBN-13 | 9783540372158 |
| ISBN-10 | 3540372156 |
| OCLC | 71264755 |