|
|
Title |
Author / Artist |
Prod Type |
ISBN/ISBN-13
or UPC |
Pub
Date |
Price |
|  | Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings (Lecture Notes in Computer Science) | Bouajjani, Ahmed | Paperback | 3642156428 /
9783642156427 | 09/2010 | $52.24 |
|  | Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, France, June 26-July 2, 2009, Proceedings 2009 Edition (Lecture Notes in Computer Science) | Bouajjani, Ahmed | Paperback | 3642026575 /
9783642026577 | 06/2009 | $104.49 |
|  | Formal Techniques for Distributed Objects, Components, and Systems: 37th Ifip Wg 6.1 International Conference, Forte 2017, Held as Part of the 12th In 2017 Edition (Lecture Notes in Computer Science) | Bouajjani, Ahmed | Paperback | 3319602241 /
9783319602240 | 05/2017 | $52.24 |
|  | Networked Systems: Third International Conference, Netys 2015, Agadir, Morocco, May 13-15, 2015, Revised Selected Papers 2015 Edition (Lecture Notes in Computer Science) | Bouajjani, Ahmed | Paperback | 331926849X /
9783319268491 | 03/2016 | $52.24 |
|  | Verification, Model Checking, and Abstract Interpretation: 18th International Conference, Vmcai 2017, Paris, France, January 15-17, 2017, Proceedings 2017 Edition (Lecture Notes in Computer Science) | Bouajjani, Ahmed | Paperback | 3319522337 /
9783319522333 | 01/2017 | $52.24 |
|
|
|