Powiedz znajomym o tym przedmiocie:
FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings - Programming and Software Engineering
Michael Butler
FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings - Programming and Software Engineering
Michael Butler
This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011.
464 pages, 83 black & white illustrations, 27 colour illustrations, biography
Media | Książki Paperback Book (Książka z miękką okładką i klejonym grzbietem) |
Wydane | 16 czerwca 2011 |
ISBN13 | 9783642214363 |
Wydawcy | Springer-Verlag Berlin and Heidelberg Gm |
Strony | 450 |
Wymiary | 155 × 235 × 25 mm · 703 g |
Język | French |
Redaktor | Butler, Michael |
Redaktor | Schulte, Wolfram |
Pokaż wszystko
Więcej od Michael Butler
Zobacz wszystko od Michael Butler ( np. Paperback Book , CD i Hardcover Book )