Gjør som tusenvis av andre bokelskere
Abonner på vårt nyhetsbrev og få rabatter og inspirasjon til din neste leseopplevelse.
Ved å abonnere godtar du vår personvernerklæring.Du kan når som helst melde deg av våre nyhetsbrev.
Higher Order Logic and Hardware Verification
- Bindende:
- Hardback
- Sider:
- 180
- Utgitt:
- 11. november 1993
- Dimensjoner:
- 170x244x11 mm.
- Vekt:
- 506 g.
Gratis frakt
Leveringstid:
2-4 uker
Forventet levering: 20. januar 2025
Beskrivelse av 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.
Brukervurderinger av Higher Order Logic and Hardware Verification
Vurder denne boken
Du må være innlogget for å vurdere denne boken.Andre har også kjøpt..
Finn lignende bøker
Boken Higher Order Logic and Hardware Verification finnes i følgende kategorier:
Du kan når som helst melde deg av våre nyhetsbrev.
© 2024 Tales.no
