
Conte aos seus amigos sobre este item:
FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings - Lecture Notes in Computer Science 2006 edition
Jayadev Misra
FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings - Lecture Notes in Computer Science 2006 edition
Jayadev Misra
Presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, Canada, August 2006.
620 pages, biography
Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
Lançado | 10 de agosto de 2006 |
ISBN13 | 9783540372158 |
Editoras | Springer-Verlag Berlin and Heidelberg Gm |
Páginas | 620 |
Dimensões | 155 × 235 × 32 mm · 879 g |
Idioma | French |
Editor | Misra, Jayadev |
Editor | Nipkow, Tobias |
Editor | Sekerinski, Emil |
Mostrar tudo
Mais por Jayadev Misra
Ver tudo de Jayadev Misra ( por exemplo Paperback Book , Hardcover Book e Book )