Panagiotis Manolios – författare
Visar alla böcker från författaren Panagiotis Manolios. Handla med fri frakt och snabb leverans.
4 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 …
