J. Strother Moore – författare
Visar alla böcker från författaren J. Strother Moore. Handla med fri frakt och snabb leverans.
9 produkter
Introduction to Abstract Algebra
E-bok, 2014
1375 kr
Lägg i varukorg
Introduction to Abstract Algebra provides insight into the methods of abstract algebra. This book provides information pertinent to the fundamental concepts of abstract algebra. Organized into five chapters, this book begins with an overview of the study of natural numbers that are used …
Piton
A Mechanically Verified Assembly-Level Language
E-bok, 2007
734 kr
Lägg i varukorg
Mountaineers use pitons to protect themselves from falls. The lead climber wears a harness to which a rope is tied. As the climber ascends, the rope is paid out by a partner on the ground. As described thus far, the climber receives no protection from the rope or the partner. However, the climber …
Computer-Aided Reasoning
ACL2 Case Studies
Av Matt Kaufmann, Panagiotis Manolios m. fl.
Inbunden, 2000
2253 kr
Lägg i varukorg
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 hardware and software systems. Included here are technical papers written by twenty-one contributors that report on …
Computer-Aided Reasoning
ACL2 Case Studies
Av Matt Kaufmann, Panagiotis Manolios m. fl.
Häftad, 2010
2253 kr
Lägg i varukorg
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 hardware and software systems. Included here are technical papers written by twenty-one contributors that report on …
Computer-Aided Reasoning
An Approach
Av J Strother Moore, Panagiotis Manolios m. fl.
E-bok, 2012
3768 kr
Lägg i varukorg
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 engineering or formal methods. It is also suitable in conjunction with other books in courses on hardware design, discrete …
Computer-Aided Reasoning
ACL2 Case Studies
Av J Strother Moore, Panagiotis Manolios m. fl.
E-bok, 2013
3013 kr
Lägg i varukorg
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 hardware and software systems. Included here are technical papers written by twenty-one contributors that report on …
Computational Logic Handbook
Formerly Notes and Reports in Computer Science and Applied Mathematics
Av J Strother Moore, Robert S. Boyer m. fl.
E-bok, 2014
807 kr
Lägg i varukorg
Perspectives in Computing: A Computational Logic Handbook contains a precise description of the logic and a detailed reference guide to the associated mechanical theorem proving system, including a primer for the logic as a functional programming language, an introduction to proofs in the logic, …
Computational Logic
Av J Strother Moore, Robert S. Boyer m. fl.
E-bok, 2014
783 kr
Lägg i varukorg
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 generalization. The publication first elaborates on a sketch of the theory and two simple examples, a precise definition of the …
Piton
A Mechanically Verified Assembly-Level Language
Häftad, 2013
551 kr
Lägg i varukorg
Mountaineers use pitons to protect themselves from falls. The lead climber wears a harness to which a rope is tied. As the climber ascends, the rope is paid out by a partner on the ground. As described thus far, the climber receives no protection from the rope or the partner. However, the climber …
