Pay in 4 interest-free payments of $26.75 Learn more
Ships within 48 hours · Estimated delivery Aug 25 - Aug 30
laajennettu painos
mit verschiedenen tafs¿r-Werken beleuchtet
Phasen des [¿]
Wirkhch anschauliche und eingehende Schilderungen der Art sind indessen nur dann möglich
Senator of the United States from the state of Delaware
Computer-Aided Reasoning formatIsbn:Hardcover - 9780792378495 laajennettu painosComputer 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,
US$ 39.90
US$ 29.90
US$ 59.90
US$ 34.90
US$ 99.90
US$ 69.90
US$ 14.90
US$ 59.90
US$ 14.90
US$ 249.95
US$ 49.90
US$ 49.90
US$ 19.90
