Code: 02981250
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: Hardback
- Number of pages: 356
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2017
- More about this
47.87 €
RRP: 47.87 €
You save 0.01 €
In stock at our supplier
Shipping in 10 - 18 days
You might also like
-
Hilma af Klint
46.05 € -24 % -
Indestructibles: Hello, Farm!
5.14 € -24 % -
Anatomy for Artists: Drawing Form & Pose (TBC)
35.85 € -24 % -
ketoCONTINUUM Consistently Keto For Life
22.31 € -22 % -
The Art of Manipulating Fabric
22.01 € -28 % -
Catcher in the Rye
8.98 € -26 % -
Hero of Ages
8.98 € -29 % -
Big Purple Book of Beginner Books
13.02 € -29 % -
Convoluted Universe: Book Five
14.84 € -24 % -
William Shakespeare: Famous Loving Words
9.69 € -25 % -
Homo Ludens
11.40 € -
The Complete Guide to Flags of the World, 4th Edition
14.13 € -6 % -
Tanned Leather Hand-Made Bags: Ultimate Techniques
18.27 € -24 % -
Basic and Clinical Pharmacology 16th Edition
77.16 € -
National Geographic The Old West
35.44 € -26 % -
12 supermocy. Polscy autorzy o tym, jak budować poczucie własnej wartości
10.09 € -9 % -
Design Thinking Methodology Book
9.69 € -7 % -
Netter's Physiology Coloring Book
21.71 € -4 % -
Lost & Found: Based on a True Story
14.03 € -25 % -
World of Warcraft: Book One
13.32 € -10 % -
Aromatherapy for Health Professionals Revised Reprint
59.79 € -5 % -
Fushigi Y?gi: Byakko Senki, Vol. 2
9.69 € -25 % -
![Dorfromantik - Das Brettspiel: Wetterau [Mini-Erweiterung]](https://media.libris.to/jacket/46304554t.jpg "Dorfromantik - Das Brettspiel: Wetterau [Mini-Erweiterung]")
Dorfromantik - Das Brettspiel: Wetterau [Mini-Erweiterung]
5.65 € -
Anthony Bourdain's Hungry Ghosts
14.74 € -25 % -
8 Keys to Recovery from an Eating Disorder
21 € -24 % -
Biblia Para Ninos
6.25 € -
עץ חיים שער ו פרק א - Sefer Etz Chaim Gate 06 Chapter 01
15.65 € -2 % -
Stranger Things Tarot Deck and Guidebook
31.61 € -19 % -
How Women Rise
21 € -24 % -
Kuniyoshi
116.05 € -10 % -
Das kleine WIR im Kindergarten
12.72 € -16 % -
What is to be done?
12.01 € -25 % -
Hamilton by Lin-Manuel Miranda
14.74 € -25 % -
Meie keelesild. Viron kielen oppikirja
63.12 € -12 % -
Gurdjieff and the Fourth Way
21.91 € -25 % -
Understanding Psychology for Nursing Students
24.13 € -10 % -
Rites of Conquest
19.48 € -22 % -
Nasze kolorowe pojazdy na sygnale
0.70 € -19 % -
Time-Saver Standards for Interior Design and Space Planning, Second Edition
209.79 € -3 % -
The Mass for Children
3.83 € -25 % -
Constitutional Law and Politics of Secession
63.83 € -
Americans and Germans in Bastogne
26.66 € -21 % -
Poetic Spanking
30.70 € -
Mémoire et cuisine des Pieds-noirs - la nostalgérie
26.45 € -
Translation in Modern Japan
78.68 € -
Puedo soñar contigo
11.10 € -10 % -
Basiswissen Mathematik auf Arabisch und Deutsch - اساسيات ÙÙŠ الرياضيات باللغتين العربية والالمانية
25.44 € -
Muslim Brotherhood
38.78 € -25 % -
Kiss of the Spider Woman
22.01 € -
DNA: AQA GCSE 9-1 English Literature Text Guide
7.46 € -15 % -
Aberdeen European Nights
20.39 € -20 % -
Ukulele Melody-Chord-Concept
18.78 € -11 % -
A Treatise of Equity: With the Addition of Marginal References and Notes / By John Fonblanque. Volume 1 of 2
27.67 € -25 % -
Enterprise Collaboration
55.75 € -
Research Design and Statistical Analysis
199.49 € -
Hafenmanöver Schritt für Schritt
21.51 € -14 % -
Prolongations
19.59 € -
Beach Boys Large Print Song Title Series
11.51 € -7 % -
Fyzika na dvore
6.76 € -17 % -
Homecoming
13.93 € -24 % -
Sulla strada di Bob Dylan. Memorie dal Greenwich Village
25.24 € -
Els altres catalans : edició no censurada
26.35 € -
Ordnung im Mund macht gesund
25.04 € -11 % -
Gift from the Trees
31.91 € -1 % -
Death of Privacy
31.20 € -
Skate Park Plans
7.67 € -26 % -
Egypt, Cyprus And Asiatic Turkey (1878)
42.62 € -2 % -
Letters of A Hmad Ibn Idr is =
82.92 € -
Gedichte
29.18 € -1 % -
Diferencia de la filosofía de la naturaleza en Demócrito y en Epicuro y otros escritos
18.98 €
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 116 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
Book category Books in English Computing & information technology Computer programming / software development Algorithms & data structures
47.87 €
- Full title: Decision Procedures
- Subtitle: An Algorithmic Point of View
- Author: Daniel Kroening, Ofer Strichman
- Language: English
- Binding: Hardback
- Number of pages: 356
- EAN: 9783662504963
- ISBN: 3662504960
- ID: 02981250
- Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Weight: 722 g
- Dimensions: 244 × 165 × 26 mm
- Date of publishing: 27. January 2017
Trending among others
-
Computer Science Distilled
23.73 € -2 % -
Network Science
66.05 € -
Purely Functional Data Structures
64.74 € -
Logic of Categorial Grammars
72.01 € -7 % -
Walk in the Woods
7.87 € -25 % -
Via Ferratas of the Italian Dolomites: Vol 2
22.31 € -22 % -
Isle of Skye
8.68 € -14 % -
From Mathematics to Generic Programming
32.62 € -14 % -
Probabilistic Data Structures and Algorithms for Big Data Applications
33.83 € -14 % -
Graph Algorithms
56.05 € -25 % -
Formal Concept Analysis
65.45 € -9 % -
Algorithms
72.41 € -14 % -
Alpine Ski Mountaineering Vol 1 - Western Alps
18.07 € -24 % -
Computer Graphics From Scratch
34.54 € -27 % -
Computer Science Distilled
30.90 € -2 % -
Algorithms Unlocked
35.85 € -12 % -
MMIX Supplement
28.27 € -2 % -
Walking in Italy's Stelvio National Park
27.47 € -
Manaslu
21.71 € -
Blue Guide Central Italy with Rome and Florence
25.44 € -9 % -
Algorithms in a Nutshell, 2e
58.07 € -
Kackar
20.50 € -14 % -
Blue Guide Sicily
19.59 € -24 % -
Camino de Santiago walking g. 42W Pyrenees to Santiago
22.11 € -
Walks Isle of Skye
4.23 € -21 % -
40 Algorithms Every Programmer Should Know
48.07 € -1 % -
Cumbria Way XT40
22.21 € -5 % -
Introduction to Algorithms
64.13 € -
Deep Learning with PyTorch
57.97 € -9 % -
Trekking in the Alps
21.61 € -25 % -
West Highland Way
22.21 € -5 % -
Mountains of Andorra
21.71 € -
Corsica 85 walks walking guide
18.07 € -15 % -
Walking in the Alps
35.55 € -
Dive the Red Sea
18.07 € -9 % -
Algorithmic Puzzles
40.19 € -
Walking on Samos
16.66 € -5 % -
Problem Solving with Algorithms and Data Structures Using Python
39.79 € -
Walking in the Caucasus, Georgia
17.57 € -5 % -
Chamonix Mountain Adventures
19.08 € -24 % -
Blue Guide Greece
31 € -2 % -
Quantum Computing for Developers
55.34 € -
Wild Swimming Italy
18.07 € -25 % -
Practical AI for Business Leaders, Product Managers, and Entrepreneurs
40.90 € -25 % -
Aragon Cataluna - Michelin Regional Map 574
7.46 € -15 % -
Wild
25.04 € -25 % -
Data Structures & Algorithms in Python
71.40 € -
Blue Guide Greece
22.82 € -10 % -
How to Think about Algorithms
42.11 €
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)