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 19 990 Ft
DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Decision Procedures

An Algorithmic Point of View

Language EnglishEnglish
Book Paperback
Book Decision Procedures Daniel Kroening
Libristo code: 20119732
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, July 2018
This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH...
? points 89 b
13 057 Ft
In stock at our supplier Shipping in 10-18 days

30-day return policy

Customers also purchased

Top
Ruční palné zbraně - 89 legendárních i zapomenutých konstrukcí Autor Fiktivní / Book Hardback
common.buy 12 225 Ft
Top
JOJOLION 1 - JOJO'S BIZARRE ADVENTURES PART8 (MANGA VO JAPONAIS) ARAKI / Book Paperback
common.buy 4 853 Ft
Opowiem o tobie gwiazdom Edyta Prusinowska / Book Paperback
common.buy 3 679 Ft
Wieso? Weshalb? Warum? junior, Band 54: Was machen wir an Ostern? Susanne Szesny / Book Paperback
common.buy 4 220 Ft
Top
Coloriages mystères Pixar Jérémy Mariez / Book Paperback
common.buy 7 649 Ft
Top
Ganz schön clever! Einzelblock (Spiel-Zubehör) / Stationery items Stationery items
common.buy 2 242 Ft
Bella Germania Daniel Speck / Book Paperback
common.buy 4 922 Ft
Top
In altre parole Jhumpa Lahiri / Book Paperback
common.buy 4 252 Ft
Top
DaF Kompakt neu Birgit Braun / Book Paperback
common.buy 13 232 Ft
Top
Amokspiel Sebastian Fitzek / Book Paperback
common.buy 4 589 Ft
Top
Harry Potter und der Stein der Weisen (Harry Potter 1) Joanne Kathleen Rowling / Book Paperback
common.buy 3 545 Ft

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 - Paperback
Date of issue 2018
Number of pages 356
EAN 9783662570654
Libristo code 20119732
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 580
Dimensions 233 x 156 x 24

Categories

Mathematics & Science > Mathematics > Optimization
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science
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

You might also be interested in

No Time to Play Henry Farley / Book Paperback
common.buy 6 216 Ft
Field Sketchbook A6 Inc Peter Pauper Press / Book Hardback
common.buy 3 004 Ft
Matty Matheson Quentin Bacon / Book Hardback
common.buy 11 887 Ft
Top
Komi Can't Communicate, Vol. 8 Tomohito Oda / Book Paperback
common.buy 3 282 Ft
Top
Lonely Planet Epic Bike Rides of Europe Lonely Planet / Book Hardback
common.buy 9 983 Ft
A Narrative of the Principal Events of the Campaigns of 1809, 1810 and 1811 in Spain and Portugal William Stothert / Book Hardback
common.buy 12 826 Ft
RF Electronics for Electronic Warfare Richard A. Poisel / Book Hardback
common.buy 54 025 Ft
Top
Opening the Akashic Records Maureen J. St Germain / Book Paperback
common.buy 5 015 Ft
Are You Listening? Tillie Walden / Book Hardback
common.buy 10 404 Ft
Family Consecration to Jesus Through Mary: 33-Days of Preparation with Saint Louis Marie de Montfort Donna-Maria Cooper O'Boyle / Book Paperback
common.buy 5 860 Ft
It Was Always You Lorhainne Eckhart / Book Paperback
common.buy 3 619 Ft
DESTINED FOR GREATNESS TESTA MAGGIE / Book Paperback
common.buy 2 431 Ft
Click and Boing: Almost go to the zoo Liam Lynch / Book Paperback
common.buy 6 392 Ft
Explore Brazil: 12 Key Facts Todd Kortemeier / Book Paperback
common.buy 4 469 Ft
God, Science, and Religious Diversity Robert T Lehe / Book Paperback
common.buy 8 162 Ft
Bio-based Materials for Food Packaging Shakeel Ahmed / Book Hardback
common.buy 71 362 Ft
First Book of Jewish Jokes Elliott Oring / Book Hardback
common.buy 28 360 Ft
Buckingham Palace Ashley Hicks / Book Hardback
common.buy 17 910 Ft
Top
Short Stories in French for Beginners Olly Richards / Book Paperback
common.buy 4 192 Ft
Jungle Book Kipling / Book Hardback
common.buy 3 841 Ft
Rise and Divine Lana Harper / Book Paperback
common.buy 4 090 Ft
Murach's MySQL (4th Edition) Joel Murach / Book Paperback
common.buy 17 471 Ft
Top
Peerless (Novel) Vol. 1 Meng Xi Shi / Book Paperback
common.buy 5 583 Ft
Narcoball David Arrowsmith / Book Hardback
common.buy 8 444 Ft

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?