Higher Order Logic and Hardware Verification
ny

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 worker......
fra 1 449,-
Tilgjengelig i 1 butikker
Frakt og levering

Produktinformasjon

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.

Spesifikasjon

Produkt
ProduktnavnHigher Order Logic and Hardware Verification
MerkeOther Brand

Pris og prishistorikk

Akkurat nå er 1 449,- den billigste prisen for Higher Order Logic and Hardware Verification blant 1 butikker hos Prisradar. Sjekk også vår topp 5-rangering av beste data og informasjonsteknologi for å være sikker på at du gjør det beste kjøpet.

Problem Solving with PythonBrilliant LaptopsCompTIA Data+ Study GuideChromebook for Seniors 2023 Edition
Haptic RenderingAudio Anecdotes IIAI Strategy and SecurityMultihomed Communication with SCTP Stream Control Transmission Protocol
Cybersecurity Audit EssentialsHow to Talk to AITransactions on Computational Collective Intelligence XXXVIIFoundations of Augmented Cognition
IPv6 Network SlicingIntroduction to Cybersecurity in the Internet of ThingsDatabase Driven Web SitesTransactions on Large Scale Data and Knowledge Centered Systems XLVIII
Autonomous Driving NetworkIntelligent Systems: From Theory to ApplicationsData SecurityMachine Learning Systems for Multimodal Affect Recognition