Author: J. W. de Bakker
Edition:
Binding: Hardcover
ISBN: 0135621321
Publisher: Prentice Hall
Edition:
Binding: Hardcover
ISBN: 0135621321
Publisher: Prentice Hall
Computational Logic and Set Theory
Mathematical Theory of Program Correctness
Store Search search Title, ISBN and Author Computational Logic and Set Theory: Applying Formalized Logic to Analysis by Domenico Cantone, Jacob T. Schwartz Estimated delivery 4-14 business days Format Hardcover Condition Brand New This must-read text presents the late Professor Jacob T. Schwartz s work on computational logic and set theory and its application to proof verification techniques. Covers the EtnaNova system, a program built to verify the correctness of mathematical proofs. Publisher
Download free Mathematical Theory of Program Correctness (Prentice-Hall International Series in Computer Science) from rapidshare, mediafire, 4shared
Search and find a lot of computer books in many category availabe for free download
