Kirjat Tevfik Bultan
String Analysis for Software Verification and Security
Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin
-25% koodilla BOOKS
Toimittajalla varastossa
String Analysis for Software Verification and Security
Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin
-25% koodilla BOOKS
Toimittajalla varastossa
Automated Technology for Verification and Analysis 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings
-25% koodilla BOOKS
Toimittajalla varastossa