Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Decision Procedures Ofer Strichman

Name: Decision Procedures Ofer Strichman
Brand: Springer Berlin Heidelberg, Springer Berlin Heidelberg
SKU: 177080036543
Price: 80.24 EUR
Availability: InStock
Rating: 0.0 (0 reviews)

Ø 0.0

0 Bewertungen

80,24 €

Titel: Decision Procedures, Untertitel: An Algorithmic Point of View, Einband: Buch, Autor: Ofer Strichman, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 380, Maße: 241x160x26 mm, Gewicht: 735 g, Verkäufer: buch-mimpf, Schlagworte: EDV / Theorie / Software-Entw. / Software Engineering Boolean Satisfiability Solver (SAT) Constraint satisfaction problem (CSP) Pointer Logic Propositional Logic Quantified Formulas Satisfiability Modulo Theories (SMT) decision procedures.

Jetzt bei Ebay:

Zum Angebot *

Seiten:

380
Gewicht:

735
Einband:

Buch
Marke:

Springer Berlin Heidelberg, Springer Berlin Heidelberg
Fachbereich:

Hardcover/Naturwissenschaften, Medizin, Informatik, Technik/In...
Publikationstitel:

Decision Procedures
Buchtitel:

Decision Procedures
Untertitel:

An Algorithmic Point of View
Film-/Fernseh-Titel:

Keine Angabe
Musiktitel:

Keine Angabe
Interpret:

Keine Angabe
Schlagworte:

EDV / Theorie / Software-Entw. / Software Engineering Boolean...
ISBN:

9783662504963
Reihe:

Texts in Theoretical Computer Science. an Eatcs Series
Produktart:

Lehrbuch
Format:

Gebundene Ausgabe
Erscheinungsjahr:

2017
Anzahl der Seiten:

380 Seiten
Autor:

Ofer Strichman
Verlag:

Springer Berlin Heidelberg, Springer Berlin
Publikationsname:

Decision Procedures
Sprache:

Englisch

Standardversand:

DHL Paket kostenlos - Lieferung zwischen 13. June 2025 und 17. June 2025 (bei heutigem Zahlungseingang)
Versand nach:

Deutschland
Versand ausgeschlossen:

Afrika , Asien , Mittelamerika und Karibik , Naher Osten , Nordamerika , Ozeanien , Südostasien , Südamerika , Albanien , Andorra , ... und weitere