Fortell venner om denne varen:
Tevfik Bultan
Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings - Lecture Notes in Computer Science Tevfik Bultan
Pris
Íkr 8.319
Bestillingsvarer
Forventes levert 1. - 10. des
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
eller
Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings - Lecture Notes in Computer Science
Tevfik Bultan
Constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, held in Taipei, Taiwan, in October 2011. This book includes the papers addressing theoretical and practical aspects of automated analysis, verification and synthesis.
548 pages, biography
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 21. september 2011 |
| ISBN13 | 9783642243714 |
| Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
| Antall sider | 532 |
| Mål | 155 × 235 × 30 mm · 771 g |
| Språk | Fransk |
| Redaktør | Bultan, Tevfik |
| Redaktør | Hsiung, Pao-Ann |
![Cover for Tevfik Bultan · String Analysis for Software Verification and Security (Pocketbok) [Softcover reprint of the original 1st ed. 2017 edition] (2019)](https://imusic.b-cdn.net/images/item/original/374/9783319886374.jpg?tevfik-bultan-2019-string-analysis-for-software-verification-and-security-pocketbok&class=scaled&v=1608446669)
![Cover for Tevfik Bultan · String Analysis for Software Verification and Security (Innbunden bok) [1st ed. 2017 edition] (2018)](https://imusic.b-cdn.net/images/item/original/684/9783319686684.jpg?tevfik-bultan-2018-string-analysis-for-software-verification-and-security-innbunden-bok&class=scaled&v=1536955623)