この商品を友人に教える:
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
価格
R 1.129
税抜
遠隔倉庫からの取り寄せ
発送予定日 年12月5日 - 年12月18日
クリスマスプレゼントは1月31日まで返品可能です
iMusicのウィッシュリストに追加
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
| メディア | 書籍 Paperback Book (ソフトカバーで背表紙を接着した本) |
| リリース済み | 2011年9月21日 |
| ISBN13 | 9783642243714 |
| 出版社 | Springer-Verlag Berlin and Heidelberg Gm |
| ページ数 | 532 |
| 寸法 | 155 × 235 × 30 mm · 771 g |
| 言語 | フランス語 |
| 編集者 | Bultan, Tevfik |
| 編集者 | Hsiung, Pao-Ann |
![Cover for Tevfik Bultan · String Analysis for Software Verification and Security (Paperback Book) [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-paperback-book&class=scaled&v=1608446669)
![Cover for Tevfik Bultan · String Analysis for Software Verification and Security (Hardcover Book) [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-hardcover-book&class=scaled&v=1536955623)