FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings - Programming and Software Engineering - Michael Butler - Książki - Springer-Verlag Berlin and Heidelberg Gm - 9783642214363 - 16 czerwca 2011
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings - Programming and Software Engineering

Michael Butler

Świąteczne prezenty można zwracać do 31 stycznia
Dodaj do swojej listy życzeń iMusic

FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings - Programming and Software Engineering

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