Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings - Programming and Software Engineering - Sungdeok Cha - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783540883869 - 6. oktober 2008
Ved uoverensstemmelse mellem cover og titel gælder titel

Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings - Programming and Software Engineering 2008 edition

Sungdeok Cha

Pris
DKK 448

Bestilles fra fjernlager

Forventes klar til forsendelse 5. - 11. nov.
Julegaver kan byttes frem til 31. januar

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
eller

Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings - Programming and Software Engineering 2008 edition

The papers are organized in topical sections on model checking, software verification, decision procedures, linear-time analysis, tool demonstration papers, timed and stochastic systems, theory, and short papers.

430 pages, biography

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 6. oktober 2008
ISBN13 9783540883869
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 430
Mål 155 × 235 × 23 mm   ·   657 g
Sprog Fransk  
Klipper/redaktør Cha, Sungdeok
Klipper/redaktør Choi, Jin-Young
Klipper/redaktør Kim, Moonzoo
Klipper/redaktør Viswanathan, Mahesh

Se alt med Sungdeok Cha ( f.eks. Paperback Bog )