Produktbild
Matt (Hrsg.) Kaufmann

Computer-Aided Reasoning

ACL2 Case Studies

Buch

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 self-contained case studies, some of which are sanitized industrial projects. The papers deal with a wide variety of ideas, including floating-point arithmetic, microprocessor simulation, model checking, symbolic trajectory evaluation, compilation, proof checking, real analysis, and several others. Computer-Aided Reasoning: ACL2 Case Studies is meant for… Mehr

CHF 382.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

Produktdetails


Weitere Autoren: Manolios, Panagiotis (Hrsg.) / Moore, J Strother (Hrsg.)
  • ISBN: 978-1-4419-4981-3
  • EAN: 9781441949813
  • Produktnummer: 10688711
  • Verlag: Springer Us
  • Sprache: Englisch
  • Erscheinungsjahr: 2010
  • Seitenangabe: 356 S.
  • Masse: H23.5 cm x B15.5 cm x D1.9 cm 540 g
  • Auflage: Softcover reprint of the original 1st ed. 2000
  • Abbildungen: Paperback
  • Gewicht: 540

5 weitere Werke von Matt (Hrsg.) Kaufmann:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.