Tipsa dina vänner om produkten:
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$ 539,54
Beställningsvara
Förväntad leverans 21 - 31 okt
Lägg till din iMusic-önskelista
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öcker Pocketbok (Bok med mjukt omslag och limmad rygg) |
Releasedatum | 23 mars 2011 |
ISBN13 | 9783642198281 |
Utgivare | Springer-Verlag Berlin and Heidelberg Gm |
Antal sidor | 291 |
Mått | 155 × 235 × 18 mm · 453 g |
Språk | Franska |
Redaktör | Davies, Jim |
Redaktör | Silva, Leila |
Redaktör | Simao, Adenilso |
Visa alla
Fler produkter med Jim Davies
Se alt med Jim Davies ( t.ex. CD , Pocketbok , Inbunden Bok och Bok )