Filter By
Books (3)
- Book
- Qty in Cart
- Quantity
- Price
- Subtotal
-
String Analysis for Software Verification and Security by Tevfik Bultan 9783319686684
Booksplease Price: €96.06This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre... -
String Analysis for Software Verification and Security by Tevfik Bultan 9783319886374
Booksplease Price: €66.78This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics: automata-bases string analysis, computing pre... -
Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings by Tevfik Bultan 9783642243714
Booksplease Price: €55.43This book 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. The 23...