Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) Buy on Amazon
Facebook LinkedIn

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

Author Kroening, Daniel
Publisher Springer
Category Hardcover
Shop on Amazon — pick your country
🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India
70.05 89.99 -22% USD
Buy New on Amazon 🇺🇸

Only 4 left in stock - order soon.

Book Details
Author(s) Kroening, Daniel
Publisher Springer
ISBN / ASIN 3662504960
ISBN-13 9783662504963
Availability Only 4 left in stock - order soon.
Category Hardcover
Marketplace United States 🇺🇸
Ratings & Reviews No reviews yet — be the first!

No reviews yet.

🏷️

More Books in Hardcover

The Call of the Wild (Puffin Classics)
The Call of the Wild (Puffin Classics)
View
Tacit and Explicit Knowledge
Tacit and Explicit Knowledge
View
Performance, Ethics and Spectatorship in a Global Age (Studies in International Performance)
Performance, Ethics and Spectatorship in a Global Age …
View
Bad News - Volumes 1 and 2 (Routledge Revivals) (Routledge Revivals: Bad News)
Bad News - Volumes 1 and 2 (Routledge Revivals) (Routl…
View
Drug Transport in Antimicrobial and Anticancer Chemotherapy (Infectious Disease and Therapy)
Drug Transport in Antimicrobial and Anticancer Chemoth…
View
Out of Bounds: Anglo-Indian Literature and the Geography of Displacement (Writing Past Colonialism)
Out of Bounds: Anglo-Indian Literature and the Geograp…
View
The Voices of Romance: Studies in Dialogue and Character
The Voices of Romance: Studies in Dialogue and Charact…
View
Converging Streams: Art of the Hispanic and Native American Southwest (History of Art Art Design Styl)
Converging Streams: Art of the Hispanic and Native Ame…
View
What Handwriting Tells You About Yourself, Your Friends and Famous People
What Handwriting Tells You About Yourself, Your Friend…
View
History Of The Counties Of Argenteuil, Quebec And Prescott, Ontario: From The Earliest Settlement To The Present (1896)
History Of The Counties Of Argenteuil, Quebec And Pres…
View
✍️

More Books by Kroening, Daniel

Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Decision Procedures: An Algorithmic Point of View (Tex…
View
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series)
Decision Procedures: An Algorithmic Point of View (Tex…
View
Donate to EbookNetworking
← Previous Book The Logical Writings of Kar... Next Book Procedural Content Generati... →
← Previous The Logical Writi...
Next Procedural Conten... →