[email protected]
LIBRISTO 0
Austrian Post 5.99 € DPD courier 6.49 € GLS courier 4.49 €
phone Contact phoneHow to shop

Calculus of Computation

Language EnglishEnglish
Book Hardback
Book Calculus of Computation Aaron R Bradley
Libristo code: 01294350
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, September 2007
This textbook introduces computational logic from the foundations of first-order logic to state-of-t... Full description
? points 232 b
98.15 € včetně DPH
Low in stock at our supplier Shipping in 13-16 days
Austria Delivery to Austria

30-day return policy

You might also be interested in

TOP
Business Model Generation Alexander Osterwalder / Paperback
common.buy 37.45 €
TOP
Let's Talk About Body Boundaries, Consent and Respect Jayneen Sanders / Paperback
common.buy 13.90 €
Topsy and Tim: Have Itchy Heads Jean Adamson / Paperback
common.buy 7.59 €
COMING SOON
A Clash of Kings George Raymond Richard Martin / Paperback
common.buy 11.87 €
Doctor Who: Beautiful Chaos Gary Russell / Paperback
common.buy 16.05 €
Business 2.0 Upper Intermediate Level Teacher's Book Pack Paul Emmerson / Paperback
common.buy 50.19 €
Medzi anarchiou a tyraniou Ivan Šimko / Paperback
common.buy 7.38 €
Zwierzęta morskie. Maluszkowe malowanie Opracowanie zbiorowe / Paperback
common.buy 0.42 €
Goze Gerald Groemer / Hardback
common.buy 195.66 €
Into the Hinterlands David Drake / Paperback
common.buy 8.34 €
Partnerwahl Im Internet Jan Skopek / Paperback
common.buy 53.51 €
Femmes Damnees Saphisme Et Poesie 18 / Paperback
common.buy 50.09 €
Die Entstehung des qualifizierten faktischen Konzerns. Barbara Deilmann / Paperback
common.buy 53.41 €
Kann die Einübung in Normanerkennung die Strafrechtsdogmatik leiten? Hendrik Schneider / Paperback
common.buy 106.94 €

This textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theories. The book also presents a logical approach to engineering correct software.

About the book

Full name Calculus of Computation
Author Aaron R Bradley
Language English
Binding Book - Hardback
Date of issue 2007
Number of pages 366
EAN 9783540741121
ISBN 3540741127
Libristo code 01294350
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 730
Dimensions 241 x 164 x 28

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
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