Login       My Wishlist
  My Cart
$0.00 / 0 items
 
EMS Linux
Utilizing the Best Tools With Linux
 
International Access
Global Shipping Options Available
  Our Catalog   Software Design, Testing & Engineering   Logic

Interactive Theorem Proving and Program Development


Huge Savings Item! Save 12% on the Interactive Theorem Proving and Program Development by Brand: Springer at EMS Linux. Hurry! Limited time offer. Offer valid only while supplies last. A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers


Product Description

A practical introduction to the development of proofs and certified programs using Coq.

An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.

Additional Information

Manufacturer:Springer
Brand:Brand: Springer
Publisher:Springer
Studio:Springer
EAN:9783540208549
Item Weight:1.88 pounds
Item Size:1.06 x 9.21 x 9.21 inches
Package Weight:1.85 pounds
Package Size:6.3 x 1.3 x 1.3 inches

Interactive Theorem Proving and Program Development by Brand: Springer

Buy Now:
Interactive Theorem Proving and Program Development

Brand: Brand: Springer
4.3 out of 5 stars with 11 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock
$84.99
$75.00
You Save: 12%


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


By Brand: Addison-Wesley
mpn: Illustrations, ean: 9780132805452, isbn: 0132805456,
Starting Out with Programming Logic and Design, Third Edition, is a language-independent introductory programming book that orients students to programming concepts and logic without assuming any previous programming experience. In the successful, a...

By Pearson
mpn: index, ean: 9780201444940, isbn: 0201444941,
This introductory book assumes minimal knowledge of the existence of integrated circuits and of the terminal behavior of electronic components such as resistors, diodes, and MOS and bipolar transistors. It presents to readers the basic information ne...

By David Gries
ean: 9780387941158, isbn: 0387941150,
Here, the authors strive to change the way logic and discrete math are taught in computer science and mathematics: while many books treat logic simply as another topic of study, this one is unique in its willingness to go one step further. The book t...

By Brand: Cambridge University Press
ean: 9780521576512, isbn: 0521576512,
This advanced textbook on topology has three unusual features. First, the introduction is from the locale viewpoint, motivated by the logic of finite observations: this provides a more direct approach than the traditional one based on abstracting pro...

By Oxford University Press USA
ean: 9780199273133, isbn: 0199273138,
Completely updated and revised throughout, the fourth edition of Principles of Computer Hardware explores the fundamentals of computer structure, architecture, and programming.The book opens with an introduction to the fundamental concepts behind com...

By Wiley
ean: 9781118949245, isbn: 1118949242,
Widely used across industrial and manufacturing automation, Programmable Logic Controllers (PLCs) perform a broad range of electromechanical tasks with multiple input and output arrangements, designed specifically to cope in severe environmental cond...

By World Scientific Publishing Co Pte Ltd
ean: 9789813230507, isbn: 9813230509,
This text presents the formal concepts underlying Computer Science. It starts with a wide introduction to Logic with an emphasis on reasoning and proof, with chapters on Program Verification and Prolog. The treatment of computability with Automata an...

By Wiley
ean: 9781118065587, isbn: 1118065581,
The new edition of Thomas' Analysis and Design of Linear Circuits features more skill examples, exercises, and associated problems. Specific topics emphasized are Thevenin Equivalent Circuits, Nodal and Mesh Analysis, Op-Amp Circuits, and Phasor Anal...

By Michael Huth
mpn: 12609080, ean: 9780521543101, isbn: 0541743104,
The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer science and sufficiently exacting for practical applications. Improvements have been made throughout...

By CreateSpace Independent Publishing Platform
ean: 9781482593334, isbn: 1482593335,
Designing a complex ASIC/SoC is similar to learning a language well and then creating a masterpiece using experience, imagination, and creativity. Digital design starts with RTL such as Verilog or VHDL, but it is only the beginning. A complete design...



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