Fortæl dine venner om denne vare:
Static Analysis: 18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings - Lecture Notes in Computer Science
Eran Yahav
Pris
DKK 531
Bestilles fra fjernlager
Forventes klar til forsendelse 27. nov. - 4. dec.
Julegaver kan byttes frem til 31. januar
Tilføj til din iMusic ønskeseddel
eller
Static Analysis: 18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings - Lecture Notes in Computer Science
Eran Yahav
The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, data flow analysis, bug detection, program transformation, program verification, security analysis and type checking.
400 pages, biography
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 6. september 2011 |
| ISBN13 | 9783642237010 |
| Forlag | Springer-Verlag Berlin and Heidelberg Gm |
| Antal sider | 387 |
| Mål | 155 × 235 × 23 mm · 566 g |
| Sprog | Fransk |
| Klipper/redaktør | Yahav, Eran |