Tipsa dina vänner om produkten:
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
SEK 649
Beställningsvara
Förväntad leverans 12 - 21 jan 2026
Julklappar kan bytas fram till 31:e januari
Lägg till din iMusic-önskelista
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öcker Pocketbok (Bok med mjukt omslag och limmad rygg) |
| Releasedatum | 21 september 2011 |
| ISBN13 | 9783642243714 |
| Utgivare | Springer-Verlag Berlin and Heidelberg Gm |
| Antal sidor | 532 |
| Mått | 155 × 235 × 30 mm · 771 g |
| Språk | Franska |
| Redaktör | Bultan, Tevfik |
| Redaktör | Hsiung, Pao-Ann |
Fler produkter med Tevfik Bultan
Visa alla![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 (Inbunden 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-inbunden-bok&class=scaled&v=1536955623)
Se alt med Tevfik Bultan ( t.ex. Pocketbok och Inbunden Bok )