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
In case cover and title do not match, the title is correct

FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings - Lecture Notes in Computer Science 2009 edition

Ana Cavalcanti

Price
$ 121.99

Ordered from remote warehouse

Expected delivery Mar 5 - 18
Add to your iMusic wish list

FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings - Lecture Notes in Computer Science 2009 edition

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