Computer-Aided Reasoning
ACL2 Case Studies
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)
V104:
Folgt in ca. 10 Arbeitstagen
Produktdetails
Weitere Autoren: Manolios, Panagiotis (Hrsg.) / Moore, J Strother (Hrsg.)
- ISBN: 978-0-7923-7849-5
- EAN: 9780792378495
- Produktnummer: 2939732
- Verlag: Springer Us
- Sprache: Englisch
- Erscheinungsjahr: 2000
- Seitenangabe: 364 S.
- Masse: H24.1 cm x B16.0 cm x D2.0 cm 711 g
- Auflage: 2000
- Abbildungen: HC runder Rücken kaschiert
- Gewicht: 711
5 weitere Werke von Matt (Hrsg.) Kaufmann:
Bewertungen
Anmelden