Computer-Aided Reasoning: ACL2 Case Studies - Advances in Formal Methods - Matt Kaufmann - Bøger - Springer - 9780792378495 - 30. juni 2000
Ved uoverensstemmelse mellem cover og titel gælder titel

Computer-Aided Reasoning: ACL2 Case Studies - Advances in Formal Methods 2000 edition

Matt Kaufmann

Pris
NZD 438,13

Bestilles fra fjernlager

Forventes klar til forsendelse 19. - 25. aug.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
Eller

Computer-Aided Reasoning: ACL2 Case Studies - Advances in Formal Methods 2000 edition

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.

337 pages, biography

Medie Bøger     Hardcover bog   (Bog med hård ryg og stift omslag)
Udgivet 30. juni 2000
ISBN13 9780792378495
Forlag Springer
Antal sider 337
Mål 155 × 235 × 20 mm   ·   684 g
Sprog Engelsk  
Klipper/redaktør Kaufmann, Matt
Klipper/redaktør Manolios, Panagiotis
Klipper/redaktør Moore, J Strother
Vis alle

Mere med Matt Kaufmann

Se alt med Matt Kaufmann ( f.eks. Paperback Bog og Hardcover bog )