Conte aos seus amigos sobre este item:
FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings - Lecture Notes in Computer Science 2009 edition
Ana Cavalcanti
FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings - Lecture Notes in Computer Science 2009 edition
Ana Cavalcanti
th FM 2009, the 16 International Symposium on Formal Methods, marked the 10th an- versary of the First World Congress on Formal Methods that was held in 1999 in Toulouse, France.
840 pages, 1, black & white illustrations
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 26 de outubro de 2009 |
| ISBN13 | 9783642050886 |
| Editoras | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 820 |
| Dimensões | 155 × 235 × 42 mm · 1,16 kg |
| Idioma | Francês |
| Editor | Cavalcanti, Ana |
| Editor | Dams, Dennis |
Ver tudo de Ana Cavalcanti ( por exemplo Paperback Book )
Presentes de Natal podem ser trocados até 31 de janeiro