LAP LAMBERT Academic Publishing · Springer
Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren |
---|---|---|---|---|
Decision Procedures: An Algorithmic Point of View | Gebunden | 978-3-662-50496-3 | 2017 | Daniel Kroening |
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 | " |
Efficient Decision Procedures for Validation: Translation Validation, decision procedures for equality logic, and SAT tuning for Bounded Model Checking | Taschenbuch | 978-3-8383-0082-5 | 2010 | |
Hardware and Software: Verification and Testing: 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, ... Notes in Computer Science, Band 10629) | " | 978-3-319-70388-6 | 2017 | Rachel Tzoref-Brill |
Theory and Applications of Satisfiability Testing - SAT 2010: 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings | " | 978-3-642-14185-0 | 2010 | Stefan Szeider |