Code: 01294350
Calculus of Computation
by Aaron R Bradley
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 ... more
- Language:
English - Binding: Hardback
- Number of pages: 366
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007
- More about this
89.06 €
Low in stock at our supplier
Shipping in 10 - 15 days
Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.
Add to wishlist
You might also like
-
Let's Talk About Body Boundaries, Consent and Respect
12.67 € -
Topsy and Tim: Have Itchy Heads
6.38 € -27 % -
A Clash of Kings
10.95 € -11 % -
Goze
185.53 € -
Into the Hinterlands
7.50 € -20 % -
Doctor Who: Beautiful Chaos
14.39 € -22 % -
Business 2.0 Upper Intermediate Level Teacher's Book Pack
50.20 € -2 % -
Femmes Damnees Saphisme Et Poesie 18
47.87 € -
Zwierzęta morskie. Maluszkowe malowanie
0.40 € -17 % -
Business Model Generation
33.16 € -4 % -
Partnerwahl Im Internet
56.39 € -
Kann die Einübung in Normanerkennung die Strafrechtsdogmatik leiten?
105.39 € -
Die Entstehung des qualifizierten faktischen Konzerns.
53.25 € -
Medzi anarchiou a tyraniou
6.99 € -21 %
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 Calculus of Computation
You get 222 loyalty points
Book synopsis
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.
Book details
Book category Books in English Computing & information technology Computer science Computer architecture & logic design
89.06 €
- Full title: Calculus of Computation
- Author: Aaron R Bradley
- Language: English
- Binding: Hardback
- Number of pages: 366
- EAN: 9783540741121
- ISBN: 3540741127
- ID: 01294350
- Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Weight: 730 g
- Dimensions: 164 × 241 × 28 mm
- Date of publishing: 03. September 2007
Trending among others
-
Computer Architecture
98.90 € -7 % -
Frontend Architecture for Design Systems
33.47 € -
Assembly Language Step-by-Step - Programming with Linux 3e
50.10 € -23 % -
Development and Deployment of Multiplayer Online Games, Vol. I
32.35 € -20 % -
Quantum Computing
45.74 € -1 % -
Solutions Architect's Handbook
92.61 € -
Art of Scalability, The
56.19 € -
Distributed Algorithms
58.12 € -9 % -
Professional CUDA C Programming
44.93 € -25 % -
Modeling Enterprise Architecture with TOGAF
58.32 € -
Art Of Assembly Language, 2nd Edition
49.80 € -17 % -
Learning Malware Analysis
55.99 € -
Solutions Architect's Handbook
57.20 € -
Principles of Computer Hardware
97.27 € -6 % -
Structured Computer Organization
100.93 € -
CUDA Programming
45.33 € -5 % -
Professional Assembly Language
37.32 € -29 % -
Programming the 65816: Including the 6502, 65c02, and 65802
44.62 € -3 % -
VMware Performance and Capacity Management -
68.36 € -
CUDA Fortran for Scientists and Engineers
86.42 € -
Computer Organization and Design MIPS Edition
88.85 € -9 % -
Boost.Asio C++ Network Programming Cookbook
57.20 € -
Docker for Developers
46.04 € -
Mastering Docker
46.04 € -
Raspberry Pi User Guide 4e
25.25 € -18 % -
Practice of Enterprise Architecture
65.52 € -
GNU GRUB Manual
16.93 € -
Network and System Security
74.35 € -
CLEAN ARCHITECTURE
35.49 € -18 % -
Parallel Programming in OpenMP
87.64 € -
Model-based System and Architecture Engineering with the Arcadia Method
172.14 € -4 % -
Architecting Google Cloud Solutions
51.12 € -
Digital Manufacturing
16.12 € -4 % -
Building Your Next Big Thing with Google Cloud Platform
37.02 € -19 % -
Computer Systems
241.53 € -
System Designer's Guide to VHDL-AMS
108.53 € -
Service-Oriented Architecture (paperback)
67.45 € -
TOGAF (R) Standard, Version 9.2 - A Pocket Guide
27.28 € -
Art of Systems Architecting
168.28 € -
Parallel Computing
90.48 € -
Puppet for Containerization
51.12 € -
Digital Design and Computer Architecture, RISC-V Edition
96.97 € -1 % -
Using OpenMP
62.28 € -
Essentials Of Computer Organization And Architecture
209.47 € -
Assembly Language for x86 Processors, Global Edition
108.33 € -
Web Services
76.68 € -
CUDA by Example
52.03 € -
FPGA Prototyping by SystemVerilog Examples - Xilinx MicroBlaze MCS SoC Edition
143.23 € -
CUDA for Engineers
47.16 €
Collection points Bratislava a 2642 dalších
Copyright ©2008-24 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
15549 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)