|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13 or UPC |
Pub Date |
Price |
| | Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings (Lecture Notes in Computer Science) | Bultan, Tevfik | Paperback | 3642243711 / 9783642243714 | 09/2011 | $52.24 |
| | String Analysis for Software Verification and Security 2017 Edition | Bultan, Tevfik | Hardcover | 3319686682 / 9783319686684 | 01/2018 | $94.99 |
| | String Analysis for Software Verification and Security Softcover Repri Edition | Bultan, Tevfik | Paperback | 3319886371 / 9783319886374 | 06/2019 | $66.49 |
| | Web Services and Formal Methods: 7th International Workshop, Ws-FM 2010, Hoboken, Nj, Usa, September 16-17, 2010. Revised Selected Papers 2011 Edition | Bravetti, Mario | Paperback | 3642195881 / 9783642195884 | 03/2011 | $52.24 |
|
|
|