Strichman, Ofer: Efficient Decision Procedures for Validation

Wo zu kaufen (1) Eigenschaften

Gesponsert

Efficient Decision Procedures for Validation, Fachbücher von Ofer Strichman

Galaxus.de

49.00 EUR

Preis aktualisiert am: 24-06-2026 23:50:28

Siehe Produktangebot

Allgemein

Marke

LAP Lambert Academic Publishing

Eigenschaften

Ähnliche Produkte

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

Produkt anzeigen

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)

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)

Produkt anzeigen

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)

Produkt anzeigen

The Adaptive Capacity of Social Change Nonprofits: Israel as a Case Study

The Adaptive Capacity of Social Change Nonprofits: Israel as a Case Study

Produkt anzeigen