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 - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783642198281 - 23. marts 2011
Ved uoverensstemmelse mellem cover og titel gælder titel

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
DKK 569

Bestilles fra fjernlager

Forventes klar til forsendelse 21. - 28. maj.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
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

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 )