Computer-Aided Reasoning: ACL2 Case Studies - Advances in Formal Methods - Matt Kaufmann - Bøker - Springer - 9780792378495 - 30. juni 2000
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Pris
NOK 1.939

Bestillingsvarer

Forventes levert 29. sep - 7. okt
Få varsel om nye utgivelser fra Matt Kaufmann

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

Ikke vurdert ennå

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

Media Bøker     Innbunden bok   (Bok med hard rygg og stivt omslag)
Utgitt 30. juni 2000
ISBN13 9780792378495
Utgivere Springer
Antall sider 337
Mål 155 × 235 × 20 mm   ·   684 g
Språk Engelsk  
Redaktør Kaufmann, Matt
Redaktør Manolios, Panagiotis
Redaktør Moore, J Strother

Mer fra samme **utgiver**

Se alt med Matt Kaufmann