Strichman, Ofer: Efficient Decision Procedures for Validation

Wo zu kaufen (1) Eigenschaften

Gesponsert

Efficient Decision Procedures for Validation

Hugendubel

49.00 EUR

Preis aktualisiert am: 21-09-2026 05:50:09

Siehe Produktangebot

Allgemein

Marke

LAP Lambert Academic Publishing

Eigenschaften

Ähnliche Produkte

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)

Aus53.04 EUR 4

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)

Aus53.49 EUR 4

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)

Aus71.00 EUR 3

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

Aus70.14 EUR 2

Produkt anzeigen