Tell your friends about this item:
FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings - Lecture Notes in Computer Science Jayadev Misra 2006 edition
FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings - Lecture Notes in Computer Science
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
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | August 10, 2006 |
| ISBN13 | 9783540372158 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 620 |
| Dimensions | 155 × 235 × 32 mm · 879 g |
| Language | French |
| Editor | Misra, Jayadev |
| Editor | Nipkow, Tobias |
| Editor | Sekerinski, Emil |
More by Jayadev Misra
Show allSee all of Jayadev Misra ( e.g. Paperback Book , Hardcover Book and Book )
Christmas presents can be returned until 31 January