Sökt på: Böcker av J Strother Moore
totalt 14 träffar
The Little Prover
An introduction to writing proofs about computer programs, written in an accessible question-and-answer style, complete with step-by-step examples and a simple proof assistant.The …
Computer-Aided Reasoning
Computer-Aided Reasoning: ACL2 Case Studies illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to design, build, and maintain …
Formal Verification of Floating-Point Hardware Design
This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. Formal Verification of Floating-Point …
Computer-Aided Reasoning
Computer-Aided Reasoning: ACL2 Case Studies illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to design, build, and maintain …
Formal Verification of Floating-Point Hardware Design
This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. Formal Verification of Floating-Point …
Little Prover
An introduction to writing proofs about computer programs, written in an accessible question-and-answer style, complete with step-by-step examples and a simple proof assistant.The …
Introduction to Abstract Algebra
Introduction to Abstract Algebra provides insight into the methods of abstract algebra. This book provides information pertinent to the fundamental concepts of abstract algebra. …
Introduction to Abstract Algebra
Introduction to Abstract Algebra provides insight into the methods of abstract algebra. This book provides information pertinent to the fundamental concepts of abstract algebra. …
Computer-Aided Reasoning
Computer-Aided Reasoning: An Approach is a textbook introduction to computer-aided reasoning. It can be used in graduate and upper-division undergraduate courses on software …
Computational Logic
ACM Monograph Series: A Computational Logic focuses on the use of induction in proving theorems, including the use of lemmas and axioms, free variables, equalities, and …