Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 69.99 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

Decision Procedures

An Algorithmic Point of View

Language EnglishEnglish
Book Hardback
Book Decision Procedures Daniel Kroening
Libristo code: 02981250
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, January 2017
This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH...
? points 122 b
49.82 €
97.43  лв
In stock at our supplier Shipping in 10-18 days

Up to 30 days for returns

You might also be interested in

Translation in Modern Japan Indra Levy / Book Paperback
common.buy 86.78 € 169.73 лв
Aromatherapy for Health Professionals Revised Reprint Len Price / Book Paperback
common.buy 58.52 € 114.46 лв
Top
Why Raeliana Ended Up at the Duke's Mansion, Vol. 1 Whale / Book Paperback
common.buy 15.61 € 30.53 лв
Top
Critical Role: The Mighty Nein Origins -- Mollymauk Tealeaf Hunter Severn Bonyun / Book Hardback
common.buy 14.13 € 27.63 лв
Remote Team Interactions Workbook Manuel Pais / Book Paperback
common.buy 11.98 € 23.42 лв
Top
Creating a Forest Garden Martin Crawford / Book Paperback
common.buy 24.06 € 47.06 лв
Stranger Things Tarot Deck and Guidebook Insight Editions / Printed items Cards
common.buy 21.45 € 41.95 лв
Aberdeen European Nights ALLY BEGG / Book Hardback
common.buy 21.45 € 41.95 лв
Poetic Spanking Anthony Toomer / Book Hardback
common.buy 31.07 € 60.78 лв
Hamilton by Lin-Manuel Miranda SHEILA LISCHWE / Book Paperback
common.buy 15.61 € 30.53 лв
Anatomy for Artists: Drawing Form & Pose (TBC) Publishing / Book Paperback
common.buy 37.83 € 74.00 лв
Beginner's Guide To Procreate: Characters 3dtotal Publishing / Book Paperback
common.buy 28.00 € 54.77 лв
ketoCONTINUUM Consistently Keto For Life Annette Bosworth / Book Paperback
common.buy 22.88 € 44.75 лв
Top
Netter's Physiology Coloring Book Susan Mulroney / Book Paperback
common.buy 25.44 € 49.76 лв
Homecoming Colin Grant / Book Paperback
common.buy 14.69 € 28.73 лв
Top
Kuniyoshi Matthi Forrer / Book Hardback
common.buy 121.09 € 236.83 лв
Gedichte Gustav Schwab / Book Paperback
common.buy 30.41 € 59.48 лв
Top
National Socialism - Its Principles and Philosophy Carlos Videla / Book Paperback
common.buy 26.98 € 52.77 лв
Egypt, Cyprus And Asiatic Turkey (1878) James Lewis Farley / Book Hardback
common.buy 44.44 € 86.92 лв
Hole David Boyd / Book Paperback
common.buy 11.93 € 23.32 лв
Americans and Germans in Bastogne Gary Sterne / Book Hardback
common.buy 29.80 € 58.27 лв
AI Narratives Stephen Cave / Book Hardback
common.buy 135.73 € 265.47 лв
William Shakespeare: Famous Loving Words Insight Editions / Book Hardback
common.buy 8.34 € 16.31 лв
Hero of Ages Brandon Sanderson / Book Paperback
common.buy 9.52 € 18.62 лв

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.§

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Decision Procedures
Author Daniel Kroening, Ofer Strichman
Language English
Binding Book - Hardback
Date of issue 2017
Number of pages 356
EAN 9783662504963
ISBN 3662504960
Libristo code 02981250
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 722
Dimensions 165 x 244 x 26

Categories

Mathematics & Science > Mathematics > Optimization
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Operating systems
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?