Fortæl dine venner om denne vare:
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
Pris
HK$ 636,25
Bestilles fra fjernlager
Forventes klar til forsendelse 18. - 28. okt.
Tilføj til din iMusic ønskeseddel
Eller
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
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
Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
Udgivet | 23. marts 2011 |
ISBN13 | 9783642198281 |
Forlag | Springer-Verlag Berlin and Heidelberg Gm |
Antal sider | 291 |
Mål | 155 × 235 × 18 mm · 453 g |
Sprog | Fransk |
Klipper/redaktør | Davies, Jim |
Klipper/redaktør | Silva, Leila |
Klipper/redaktør | Simao, Adenilso |
Vis alle
Mere med Jim Davies
Se alt med Jim Davies ( f.eks. CD , Paperback Bog , Hardcover bog og Bog )