Home › Books › Paperback › Decision Procedures: An Algorithmic Point of View (Texts in…
← PrevMathematical Analysis I (... NextAtlas of PET-CT: A Quick ... →
Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) Buy on Amazon

https://www.ebooknetworking.net/books_detail-3662570653.html

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

AuthorKroening, Daniel
PublisherSpringer
CategoryPaperback
Shop on Amazon — choose your country
🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India
42.98 64.99 USD
Buy New on Amazon 🇺🇸

In Stock

Book Details

Author(s)Kroening, Daniel
PublisherSpringer
ISBN / ASIN3662570653
ISBN-139783662570654
AvailabilityIn Stock
CategoryPaperback
MarketplaceUnited States  🇺🇸

More Books in Paperback

The Bear Scouts
The Bear Scouts
View
Pyramid
Pyramid
View
Love is Walking Hand in Hand
Love is Walking Hand in Hand
View
Dr. Karyn's Guide To The Teen Years
Dr. Karyn's Guide To The Teen Years
View
For Whom the Bell Tolls
For Whom the Bell Tolls
View
Cricket World Cup Pocket Annual 1999
Cricket World Cup Pocket Annual 1999
View
Rainbow Warrior
Rainbow Warrior
View
The Alpine Flowers of Britain and Europe
The Alpine Flowers of Britain and Europe
View
Food for Free (Collins Natural History)
Food for Free (Collins Natural History)
View
The Sheikh and the Dustbin and Other McAuslan Stories
The Sheikh and the Dustbin and Other McAuslan Stories
View

More Books by Kroening, Daniel

Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I (Lecture Notes in Computer Science)
Computer Aided Verification: 27th International Confer…
View
Donate to EbookNetworking
Mathematical Analys...Prev
Atlas of PET-CT: A ...Next