Matt Kaufmann – författare
Visar alla böcker från författaren Matt Kaufmann. Handla med fri frakt och snabb leverans.
6 produkter
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 …
Interactive Theorem Proving
First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings
Av Matt Kaufmann, Lawrence C. Paulson
Häftad, 2010
1128 kr
Lägg i varukorg
This volume contains the papers presented at ITP 2010: the First International ConferenceonInteractiveTheoremProving. It washeldduring July11-14,2010 in Edinburgh, Scotland as part of the Federated Logic Conference (FLoC, July 9-21, 2010) alongside the other FLoC conferences and workshops. ITP …
Interactive Theorem Proving
First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings
Av Lawrence C. Paulson, Matt Kaufmann
E-bok, 2010
1470 kr
Lägg i varukorg
