Pastāsti draugiem par šo preci:
Integrated Formal Methods: 7th International Conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009, Proceedings - Lecture Notes in Computer Science Michael Leuschel 2009 edition
Integrated Formal Methods: 7th International Conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009, Proceedings - Lecture Notes in Computer Science
Michael Leuschel
This book constitutes the refereed proceedings of the 7th International Conference on Integrated Formal Methods, IFM 2009, held in Dusseldorf, Germany in February 2009.
377 pages, Illustrations
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2009. gada 2. februāris |
| ISBN13 | 9783642002540 |
| Izdevēji | Springer-Verlag Berlin and Heidelberg Gm |
| Lapas | 367 |
| Izmēri | 155 × 235 × 23 mm · 557 g |
| Valoda | Franču |
| Redaktors | Leuschel, Michael |
| Redaktors | Wehrheim, Heike |