Higher Order Logic and Hardware Verification

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......
For øyeblikket har vi ingen tilbud på dette produktet, men vi inviterer deg til å utforske lignende produkter som kan være av interesse.

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
book typData og informasjonsteknologi

Pris og prishistorikk

Transformative-Emancipatory Pedagogy (TEP) to Reimagine EducationThe Further Memoirs of Sherlock Holmes - IIIUnspoken StoriesThe Girl in Green
Globalization and EducationHow Sonata FormsEconomists and the End of Empire, 1905-35Vanilla
Were You There?The Rise and Demise of Paper Money in Imperial ChinaPhilosophy of Biological FunctionsCOMMON GROUND
The Other Bennet SisterListening PedagogiesIntegrating Therapy and CoachingToxic Language in East Asia
Empowering LearnersOrthodox Icons and Cosmonaut ExemplarsMultidisciplinary Perspectives on Institutional DiscriminationAfrican Political Theology