Ergebnisse filtern
-
- 6
- 4
-
- 2
- 3
- 1
- 2
- 2
-
- 2
- 5
- 10
- 2
- 2
-
- 1
- 7
- 1
- 1
-
- 1
- 9
-
- 9
- 1
-
- 10
-
- 10
-
Strichman Efficient Decision Procedures for Validation
Translation Validation, decision procedures for equality logic, and SAT tuning for Bounded Model CheckingErscheinungsjahr 2018Verlag: LAP Lambert Academic PublishingISBN: 978-3-8383-0082-5Medium: Buch49,00 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Strichman / Kroening Decision Procedures
An Algorithmic Point of View2. Auflage 2016Verlag: SpringerISBN: 978-3-662-50496-3Medium: Buch80,24 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Kroening / Strichman Decision Procedures
An Algorithmic Point of View2. Auflage 2016Verlag: SpringerISBN: 978-3-662-50497-0Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Kroening / Strichman Decision Procedures
An Algorithmic Point of View1. Auflage 2008Verlag: SpringerISBN: 978-3-540-74104-6Medium: Buch69,54 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Strichman / Szeider Theory and Applications of Satisfiability Testing - SAT 2010
13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, ProceedingsErscheinungsjahr 2010Verlag: SpringerISBN: 978-3-642-14186-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
-
Strichman / Kroening Decision Procedures
An Algorithmic Point of ViewSoftcover Nachdruck of the original 2. Auflage 2016Verlag: SpringerISBN: 978-3-662-57065-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Strichman / Szeider Theory and Applications of Satisfiability Testing - SAT 2010
13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010, Proceedings1. Auflage 2010Verlag: SpringerISBN: 978-3-642-14185-0Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Kroening / Strichman Decision Procedures
An Algorithmic Point of ViewErscheinungsjahr 2008Verlag: SpringerISBN: 978-3-540-74105-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark69,54 € (inkl. MwSt.)
sofort verfügbar
-
Tzoref-Brill / Strichman Hardware and Software: Verification and Testing
13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings1. Auflage 2017Verlag: Springer Nature SwitzerlandISBN: 978-3-319-70388-6Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
-
Strichman / Tzoref-Brill Hardware and Software: Verification and Testing
13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings1. Auflage 2017Verlag: Springer International PublishingISBN: 978-3-319-70389-3Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort
