Black November: Store besparelser hele måneden Vi fejrer Black Friday hele november måned med store besparelser
Udvidet returret til d. 31. januar 2025
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Computer-Aided Reasoning

Computer-Aided Reasoning

- ACL2 Case Studies

indgår i Advances in Formal Methods serien

Computer-Aided Reasoning
Bag om Computer-Aided Reasoning

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.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780792378495
  • Indbinding:
  • Hardback
  • Sideantal:
  • 337
  • Udgivet:
  • 1. juni 2000
  • Udgave:
  • 2000
  • Størrelse:
  • 234x156x20 mm.
  • Vægt:
  • 1510 g.
  • BLACK NOVEMBER
  Gratis fragt
Leveringstid: 8-11 hverdage
Forventet levering: 28. november 2024

Beskrivelse af Computer-Aided Reasoning

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.

Brugerbedømmelser af Computer-Aided Reasoning



Andre købte også..
Find lignende bøger
Bogen Computer-Aided Reasoning findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.