phone 571 999 090
LIBRISTO 0
Free delivery for purchases over 1 299 Kč
PPL Parcel Shop 54 Kč Czech Post 74 Kč Balíkovna 49 Kč GLS point 54 Kč Zásilkovna 44 Kč GLS courier 74 Kč PPL courier 99 Kč
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 222 b
2 220 Kč včetně DPH
Low in stock at our supplier Shipping in 13-16 days

30-day return policy

You might also be interested in

Let's Talk About Body Boundaries, Consent and Respect Jayneen Sanders / Paperback
common.buy 299 Kč
Topsy and Tim: Have Itchy Heads Jean Adamson / Paperback
common.buy 158 Kč
Business Model Generation Alexander Osterwalder / Paperback
common.buy 828 Kč
COMING SOON
A Clash of Kings George Raymond Richard Martin / Paperback
common.buy 249 Kč
Doctor Who: Beautiful Chaos Gary Russell / Paperback
common.buy 333 Kč
Business 2.0 Upper Intermediate Level Teacher's Book Pack Paul Emmerson / Paperback
common.buy 1 123 Kč
Medzi anarchiou a tyraniou Ivan Šimko / Paperback
common.buy 157 Kč
Zwierzęta morskie. Maluszkowe malowanie Opracowanie zbiorowe / Paperback
common.buy 36 Kč
Goze Gerald Groemer / Hardback
common.buy 4 627 Kč
Into the Hinterlands David Drake / Paperback
common.buy 185 Kč
Partnerwahl Im Internet Jan Skopek / Paperback
common.buy 1 403 Kč
Femmes Damnees Saphisme Et Poesie 18 / Paperback
common.buy 1 185 Kč
Die Entstehung des qualifizierten faktischen Konzerns. Barbara Deilmann / Paperback
common.buy 1 327 Kč
Kann die Einübung in Normanerkennung die Strafrechtsdogmatik leiten? Hendrik Schneider / Paperback
common.buy 2 628 Kč

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