Code: 20119732
Decision Procedures
by Daniel Kroening, Ofer Strichman
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 ... more
- Language:
English - Binding: Paperback
- Number of pages: 356
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2018
- More about this
You might also like
-
Moon Knight: The Complete Collection
33.93 € -26 % -
Short Stories in French for Beginners
12.31 € -18 % -
Harry Potter und der Stein der Weisen (Harry Potter 1)
9.99 € -1 % -
Game of Thrones: The Catspaw Dagger
10.80 € -18 % -
Lonely Planet Epic Bike Rides of Europe
26.25 € -23 % -
Peerless (Novel) Vol. 1
14.43 € -29 % -
Komi Can't Communicate, Vol. 8
8.68 € -25 % -
How to Invent Everything
26.96 € -19 % -
Coloriages mystères Pixar
21.51 € -
In altre parole
11.91 € -
Ruční palné zbraně - 89 legendárních i zapomenutých konstrukcí
33.83 € -14 % -
Shield of Sparrows. Limited Edition
28.37 € -17 % -
Garden Sounds
15.14 € -18 % -
My Hero Academia, Vol. 28
7.87 € -25 % -
Reading and Rhyme Ages 3-5
5.14 € -14 % -
Hero of Ages
25.95 € -28 % -
Ultimate Book of Cities
17.97 € -26 % -
JOJOLION 1 - JOJO'S BIZARRE ADVENTURES PART8 (MANGA VO JAPONAIS)
13.63 € -
No Matter How I Look at It, It's You Guys' Fault I'm Not Popular!, Vol. 9
9.99 € -24 % -
Bella Germania
12.62 € -10 % -
Opening the Akashic Records
12.01 € -25 % -
Atlas of Dermoscopy
264.34 € -
How to Speak Cat
9.99 € -24 % -
BFG
8.58 € -11 % -
Jungle Book
10.80 € -24 % -
Ganz schön clever! Einzelblock (Spiel-Zubehör)
6.45 € -
Matty Matheson
32.01 € -15 % -
DaF Kompakt neu
34.74 € -
Amokspiel
11.81 € -10 % -
The Lupus Diet Plan: Meal Plans & Recipes to Soothe Inflammation, Treat Flares, and Send Lupus Into Remission
14.74 € -25 % -
Carole King - Tapestry
19.48 € -22 % -
Not for the Faint of Heart
10.19 € -8 % -
Buckingham Palace
47.26 € -24 % -
Sexy Underwear and Hot Pussy
53.32 € -14 % -
Customer Experience Manual, The
18.17 € -28 % -
In the Lost Lands
18.88 € -
Hippo and Friends 1 Pupil's Book
33.32 € -
Rise of the Robots
13.73 € -29 % -
Rise and Divine
10.50 € -26 % -
Are You Listening?
27.47 € -24 % -
Microservices in .NET
66.35 € -5 % -
Agenda 21
8.58 € -24 % -
Vitreoretinal Surgery: Strategies and Tactics
200.90 € -9 % -
Field Sketchbook A6
7.26 € -24 % -
Clivias
49.89 € -18 % -
Reborn
22.01 € -23 % -
Witchcraft and the Shamanic Journey
19.48 € -22 % -
RF Electronics for Electronic Warfare
142.92 € -10 % -
Modernized Modern Benoni
30.39 € -14 % -
Family Consecration to Jesus Through Mary: 33-Days of Preparation with Saint Louis Marie de Montfort
14.03 € -25 % -
As Always, Julia
16.15 € -17 % -
Constitution of Finland
47.87 € -
DESTINED FOR GREATNESS
6.15 € -27 % -
Snow Balls: A Pretending-to-Be-Macho MM Romance
9.99 € -7 % -
GCSE 9-1 Geography AQA Complete Revision & Practice (w/ Online Ed)
17.26 € -10 % -
Sea Monkeys & Brine Shrimp
8.98 € -6 % -
Abel
12.52 € -7 % -
Fra Filippo Lippi
172.31 € -9 % -
History of Paris in Painting
207.97 € -9 % -
Narcoball
20.29 € -24 % -
Data Analytics and Artificial Intelligence for Earth Resource Management
161.61 € -10 % -
Obsolete
26.66 € -22 % -
American Lions: The 332nd Infantry Regiment in Italy in World War I
49.08 € -25 % -
Twelve Twenty-Five: The Life and Times of a Steam Locomotive
37.36 € -22 % -
Murach's MySQL (4th Edition)
41.91 € -25 % -
Chatham Naval Dockyard and Barracks
16.05 € -24 % -
Great Expectations
14.84 € -24 % -
Cognitive Psychology
28.78 € -10 % -
The Cider Makers Hand Book: A Complete Guide for Making and Keeping Pure Cider (1896)
35.44 € -1 % -
PREPAK-DOING TESHUVAH-12 PK-12
7.87 € -24 % -
It Was Always You
8.98 € -6 % -
Elegies
13.93 € -9 % -
Explore Brazil: 12 Key Facts
11.51 € -10 % -
Glimmer of a New Leviathan
153.12 € -
First Book of Jewish Jokes
71.91 € -
Supercomputer Algorithms for Reactivity, Dynamics and Kinetics of Small Molecules
98.68 € -
A Narrative of the Principal Events of the Campaigns of 1809, 1810 and 1811 in Spain and Portugal
31.81 € -2 % -
Active Middleware Services
113.32 € -
Shadows of Yesterday
16.45 € -7 % -
Thriving and Surviving on Campus
85.75 € -
Six Saints from Allegany
12.72 € -
No Time to Play
15.34 € -7 % -
Maldita Droga
12.72 € -
Lil. by the Author of "Tip-Cat," Etc. [I.E. Evelyn Whittaker.]
20.09 € -25 %
Give this book as a present today
- Order book and choose Gift Order.
- We will send you book gift voucher at once. You can give it out to anyone.
- Book will be send to donee, nothing more to care about.
More about Decision Procedures
You get 85 loyalty points
Book synopsis
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.
Book details
35.04 €
- Full title: Decision Procedures
- Subtitle: An Algorithmic Point of View
- Author: Daniel Kroening, Ofer Strichman
- Language: English
- Binding: Paperback
- Number of pages: 356
- EAN: 9783662570654
- ID: 20119732
- Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Weight: 580 g
- Dimensions: 156 × 233 × 24 mm
- Date of publishing: 13. July 2018
Trending among others
-
Moonwalk
14.03 € -18 % -
The Score
13.73 € -10 % -
The Deal
12.31 € -9 % -
Berserk Deluxe Volume 1
35.75 € -25 % -
The Mistake
13.53 € -14 % -
Jujutsu Kaisen, Vol. 30
9.69 € -25 % -
Berserk Deluxe Volume 2
33.22 € -30 % -
Dancing The Dream
19.89 € -31 % -
Murdoku
14.03 € -25 % -
Berserk Deluxe Volume 3
55.14 € -
The Goal
14.64 € -
White Nights
4.54 € -14 % -
Chainsaw Man, Vol. 21
9.89 € -20 % -
Invincible Compendium Volume 2
45.75 € -24 % -
The Legacy
11.91 € -22 % -
Lord of Mysteries, Vol. 3: The Clown, Part III
17.06 € -13 % -
Jujutsu Kaisen, Vol. 29
9.89 € -20 % -
Invincible Compendium Volume 3
46.35 € -23 % -
Witch Hat Atelier: Grimoire Edition 1
34.94 € -29 % -
JoJo's Bizarre Adventure: Part 7--Steel Ball Run, Vol. 7
18.17 € -25 % -
Jujutsu Kaisen, Vol. 26
9.89 € -20 % -
Berserk Deluxe Volume 5
54.94 € -
Lord of Mysteries, Vol. 1: The Clown, Part I
14.84 € -24 % -
Heated Rivalry
12.52 € -7 % -
Restitution
9.89 € -33 % -
Yesteryear
16.35 € -23 % -
Berserk Deluxe Volume 4
43.53 € -17 % -
Jujutsu Kaisen, Vol. 1
13.42 € -
Witch Hat Atelier: Grimoire Edition 2
34.64 € -30 % -
The Courage To Be Disliked
10.70 € -13 % -
Moonwalk: A Memoir
21.71 € -29 % -
Jujutsu Kaisen, Vol. 25
9.89 € -23 % -
Veil Volume 1
13.02 € -38 % -
Jujutsu Kaisen, Vol. 2
9.89 € -20 % -
Invincible Compendium Volume 1
45.75 € -24 % -
Witch Hat Atelier Manga Box Set 1
55.34 € -29 % -
Murdoku Volume 2: Back in Time
14.64 € -22 % -
Jujutsu Kaisen, Vol. 28
7.67 € -30 % -
Onyx Storm
11.10 € -18 % -
The Long Game
12.21 € -10 % -
Voracious
11.40 € -16 % -
The Count of Monte Cristo
10.39 € -23 % -
Six of Crows: A Darker Shore: Letters from Ketterdam
21.30 € -13 % -
Onyx Storm (Deluxe Limited Edition) (The Empyrean, 3)
24.03 € -25 % -
Atomic Habits
15.85 € -23 % -
Berserk Deluxe Volume 6
54.74 € -
Throne of Glass Box Set
77.67 € -25 % -
Insatiable
11.10 € -25 % -
Lord of Mysteries, Vol. 2: The Clown, Part II
19.28 € -2 %
Shopping guide
Books by language
Collection points Bratislava a 12824 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
25652 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)