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
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.
|Part Number:||60 black & white illustrations, 3 black|
|MPN:||60 black & white illustrations, 3 black|
|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|
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.
Related Best Sellers
By Morgan Kaufmann
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...
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 ...
By Brand: Course Technology
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...
By Clarendon Press
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...
By CreateSpace Independent Publishing Platform
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...