![FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings - Lecture Notes in Computer Science - Ana Cavalcanti - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642050886 - October 26, 2009](https://imusic.b-cdn.net/images/item/original/886/9783642050886.jpg?ana-cavalcanti-2009-fm-2009-formal-methods-second-world-congress-eindhoven-the-netherlands-november-2-6-2009-proceedings-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1446580438)
Tell your friends about this 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
Media | Books Paperback Book (Book with soft cover and glued back) |
Released | October 26, 2009 |
ISBN13 | 9783642050886 |
Publishers | Springer-Verlag Berlin and Heidelberg Gm |
Pages | 820 |
Dimensions | 155 × 235 × 42 mm · 1.16 kg |
Language | French |
Editor | Cavalcanti, Ana |
Editor | Dams, Dennis |
See all of Ana Cavalcanti ( e.g. Paperback Book )