Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers - Programming and Software Engineering - Jim Davies - Książki - Springer-Verlag Berlin and Heidelberg Gm - 9783642198281 - 23 marca 2011
W przypadku, gdy okładka i tytuł się nie zgadzają, tytuł jest poprawny

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers - Programming and Software Engineering

Jim Davies

Cena
CA$ 93,44

Zamówione z odległego magazynu

Przewidywana dostawa 24 lip - 5 sie

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów
Najwyższa ocena na Trustpilot
Dodaj do swojej listy życzeń iMusic

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers - Programming and Software Engineering

This book constitutes the thoroughly refereed post-conferenceproceedings of the 13th Brazilian Symposium on Formal Methods, SBMF2010, held in Natal, Brazil, in November 2010.

299 pages, biography

Media Książki     Paperback Book   (Książka z miękką okładką i klejonym grzbietem)
Wydane 23 marca 2011
ISBN13 9783642198281
Wydawcy Springer-Verlag Berlin and Heidelberg Gm
Strony 291
Wymiary 155 × 235 × 18 mm   ·   453 g
Język French  
Redaktor Davies, Jim
Redaktor Silva, Leila
Redaktor Simao, Adenilso
Pokaż wszystko

Więcej od Jim Davies

Zobacz wszystko od Jim Davies ( np. CD , Paperback Book , Hardcover Book i Book )