Gør som tusindvis af andre bogelskere
Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.
Ved tilmelding accepterer du vores persondatapolitik.Du kan altid afmelde dig igen.
- Indbinding:
- Hardback
- Sideantal:
- 337
- Udgivet:
- 1. juni 2000
- Udgave:
- 2000
- Størrelse:
- 234x156x20 mm.
- Vægt:
- 1510 g.
- 8-11 hverdage.
- 28. november 2024
Normalpris
-
BLACK NOVEMBER
Medlemspris
Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.
Herefter fra 79 kr./md. Ingen binding.
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
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.Andre købte også..
Find lignende bøger
Bogen Computer-Aided Reasoning findes i følgende kategorier:
Du kan altid afmelde dig igen.
© 2024 Tales.dk Esromgade 15, 3. | 2200 København N | Danmark | CVR: DK43351621
