Fortell venner om denne varen:
Static Analysis: 18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings - Lecture Notes in Computer Science
Eran Yahav
Pris
NOK 669
Bestillingsvarer
Forventes levert 28. nov - 9. des
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
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
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 6. september 2011 |
| ISBN13 | 9783642237010 |
| Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
| Antall sider | 387 |
| Mål | 155 × 235 × 23 mm · 566 g |
| Språk | Fransk |
| Redaktør | Yahav, Eran |
![Cover for Eran Yahav · Hardware and Software: Verification and Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings - Programming and Software Engineering (Pocketbok) [2014 edition] (2014)](https://imusic.b-cdn.net/images/item/original/379/9783319133379.jpg?eran-yahav-2014-hardware-and-software-verification-and-testing-10th-international-haifa-verification-conference-hvc-2014-haifa-israel-november-18-20-2014-proceedings-programming-and-software-engineering-pocketbok&class=scaled&v=1476801247)