Fortæl dine venner om denne vare:
Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings - Lecture Notes in Computer Science 2014 edition
Kenneth Mcmillan
Pris
₪ 228,75
Bestilles fra fjernlager
Forventes klar til forsendelse 12. - 18. nov.
Julegaver kan byttes frem til 31. januar
Tilføj til din iMusic ønskeseddel
eller
Verification, Model Checking, and Abstract Interpretation: 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings - Lecture Notes in Computer Science 2014 edition
Kenneth Mcmillan
The papers cover a wide range of topics including program verification, model checking, abstract interpretation and abstract domains, program synthesis, static analysis, type systems, deductive methods, program certification, debugging techniques, program transformation, optimization, hybrid and cyber-physical systems.
511 pages, 120 black & white illustrations, biography
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 22. januar 2014 |
| ISBN13 | 9783642540127 |
| Forlag | Springer-Verlag Berlin and Heidelberg Gm |
| Genre | Aspects (Academic) > Science / Technology Aspects |
| Antal sider | 493 |
| Mål | 155 × 235 × 26 mm · 707 g |
| Sprog | Fransk |
| Klipper/redaktør | McMillan, Kenneth |
| Klipper/redaktør | Rival, Xavier |
Vis alle
Mere med Kenneth Mcmillan
Se alt med Kenneth Mcmillan ( f.eks. Hardcover bog og Paperback Bog )