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.
Higher Order Logic and Hardware Verification - T. F. (University of Glasgow) Melham - Bog
- Indbinding:
- Paperback
- Sideantal:
- 180
- Udgivet:
- 2. juli 2009
- Størrelse:
- 169x243x16 mm.
- Vægt:
- 330 g.
- 2-3 uger.
- 23. november 2024
På lager
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 Higher Order Logic and Hardware Verification
This 1993 book shows how formal logic can be used to specify the behaviour of hardware designs and reason about their correctness. The book is based in part on the author's own research as well as on graduate teaching. Thus it can be used to accompany courses on hardware verification and as a resource for research workers.
Brugerbedømmelser af Higher Order Logic and Hardware Verification
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 Higher Order Logic and Hardware Verification findes i følgende kategorier:
Du kan altid afmelde dig igen.
© 2024 Tales.dk Esromgade 15, 3. | 2200 København N | Danmark | CVR: DK43351621
