Fortell venner om denne varen:
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
R 1.129
Bestillingsvarer
Forventes levert 22. okt - 1. nov
Legg til iMusic ønskeliste
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
Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
Utgitt | 23. mars 2011 |
ISBN13 | 9783642198281 |
Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
Antall sider | 291 |
Mål | 155 × 235 × 18 mm · 453 g |
Språk | Fransk |
Redaktør | Davies, Jim |
Redaktør | Silva, Leila |
Redaktør | Simao, Adenilso |