Login       My Wishlist
  My Cart
$0.00 / 0 items
 
EMS Linux
Utilizing the Best Tools With Linux
 
International Access
Global Shipping Options Available
Home About Us News Our Blog Our Catalog My Cart My Account Track Shippment Contact Us
  Our Catalog   Software Design, Testing & Engineering   Logic

The Calculus of Computation: Decision Procedures with Applications to Verification


Super Savings Item! Free Shipping Included! Save 34% on the The Calculus of Computation: Decision Procedures with Applications to Verification by Brand: Springer at EMS Linux. MPN: 60 black & white illustrations, 3 black. Hurry! Limited time offer. Offer valid only while supplies last. Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the foundations of first-order


Product Description

Written with graduate and advanced undergraduate students in mind, 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 textbook also presents a logical approach to engineering correct software. Verification exercises are given to develop the reader's facility in specifying and verifying software using logic. The treatment of verification concludes with an introduction to the static analysis of software, an important component of modern verification systems. The final chapter outlines courses of further study.

Additional Information

Manufacturer:Springer
Brand:Brand: Springer
Part Number:60 black & white illustrations, 3 black
Publisher:Springer
Studio:Springer
MPN:60 black & white illustrations, 3 black
EAN:9783540741121
Item Weight:1.51 pounds
Item Size:1.04 x 9.31 x 9.31 inches
Package Weight:1.54 pounds
Package Size:6.3 x 1.02 x 1.02 inches

The Calculus of Computation: Decision Procedures with Applications to Verification by Brand: Springer

Buy Now:
The Calculus of Computation: Decision Procedures with Applications to Verification

Brand: Brand: Springer
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$59.99
$40.09
You Save: 33%


Quantity:  

 


View More In Logic.

 


Have questions about this item, or would like to inquire about a custom or bulk order?


If you have any questions about this product by Brand: Springer, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers


ean: 9780123704979, isbn: 0123704979,
Digital Design and Computer Architecture is designed for courses that combine digital logic design with computer organization/architecture or that teach these subjects as a two-course sequence. Digital Design and Computer Architecture begins with a m...

By TBS
ean: 9780521670890, isbn: 0521670896,
The second edition of this textbook provides an introductionto formal reasoning that is both relevant to the needs of modern computerscience and rigorous enough for practical application. The presentation is clearand simple. A key feature is the full...

sku: 0070024693:0:1:1, ean: 9780070024694, isbn: 0070024693,
The second edition contains updated and expanded coverage of how to use Simulation Program with Integrated Circuit Emphasis, and SPICE-based programs, to simulate and predict the performance of electronic circuits. Features description of the device ...

ean: 9780534373863, isbn: 0534373860,
LOGIC AND STRUCTURED DESIGN is an introduction to the logic of data processing. It is intended for those who plan, but have not yet begun, to study programming, particularly those with little background in mathematics or logic. The author avoids refe...

mpn: bibliography, ean: 9780198149385, isbn: 0198149387,
This is the first study devoted to the classical literary tradition as a whole, together with the apparatus of critical scholarship which was part of that tradition. The work of the ancient critics provides some access to the interpretative conventio...

ean: 9780471657200, isbn: 0471657204,
A hands-on troubleshooting guide for VLSI network designersThe primary goal in VLSI (very large scale integration) powernetwork design is to provide enough power lines across a chip toreduce voltage drops from the power pads to the center of the chip...

ean: 9780123914958, isbn: 0123914957,
Op Amps for Everyone is an indispensable guide and reference for designing circuits that are reliable, have low power consumption, and are as small and low-cost as possible. Operational amplifiers are essential in modern electronics design, and are u...

mpn: biography, ean: 9783642173356, isbn: 3642173357,
This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studying their fundamental properties. These foundations...

ean: 9781719528405, isbn: 1719528403,
MACHINE LEARNING - PYTHONBuy the Paperback version of this book, and get the Kindle eBook version included for FREE! Do You Want to Become An Expert Of Machine Learning?? StartĀ Getting this Book and Follow My Step by Step Explanations! Click Add To ...

mpn: 41783296, ean: 9783895784453, isbn: 3895784451,
Addressing students and engineers, but also hobby engineers, this practical guide will help to easily and cost-effectively implement technical solutions in home and installation technology, as well as small-scale automation solutions in machine and p...



Privacy Policy / Terms of Service
© 2018 - emslinux.com. All Rights Reserved.