| Titel | Art | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I | Taschenbuch | 978-3-319-21689-8 | 2015 | Corina S. Păsăreanu |
| Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II | " | 978-3-319-21667-6 | 2015 | " |
| Decision Procedures: An Algorithmic Point of View | " | 978-3-662-57065-4 | 2018 |
| Decision Procedures: An Algorithmic Point of View | Gebunden | 978-3-662-50496-3 | 2017 | Ofer Strichman |
| Decision Procedures: An Algorithmic Point of View | Taschenbuch | 978-3-642-09344-9 | 2010 |
| Decision Procedures: An Algorithmic Point of View | Gebunden | 978-3-540-74104-6 | 2008 | Ofer Strichman |
| Digitaltechnik - Eine praxisnahe Einführung | Taschenbuch | 978-3-540-77728-1 | 2008 | Armin Biere · Georg Weissenbacher · Christoph Wintersteiger |
| Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised ... Notes in Computer Science, Band 6504) | " | 978-3-642-19582-2 | 2011 | Sharon Barner · Ian Harris · Orna Raz |
| Validation of Evolving Software | " | 978-3-319-38200-5 | 2016 | Hana Chockler · Leonardo Mariani · Natasha Sharygina |
| Validation of Evolving Software | Gebunden | 978-3-319-10622-9 | 2015 | Hana Chockler · Leonardo Mariani · Natasha Sharygina |
| Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers | Taschenbuch | 978-3-319-12153-6 | 2014 | Dimitra Giannakopoulou |