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

Kroening, Daniel

 
9783642093449: Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Softcover
ISBN 10: 3642093442 ISBN 13: 9783642093449
Verlag: Springer, 2010

Inhaltsangabe

This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH Zurich and at the Technion, Haifa. The authors focus on theories that are expressive enough to model real problems, but are still decidable.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2010
Sprache
Englisch
ISBN 10 
3642093442
ISBN 13 
9783642093449
Einband
Taschenbuch
Anzahl der Seiten
324
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Deutschland

Weitere beliebte Ausgaben desselben Titels

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

Vorgestellte Ausgabe

ISBN 10:  3540741046 ISBN 13:  9783540741046
Verlag: Springer, 2008
Hardcover