Lex

Browse

GenresShelvesPremiumBlog

Company

AboutJobsPartnersSell on LexAffiliates

Resources

DocsInvite FriendsFAQ

Legal

Terms of ServicePrivacy Policygeneral@lex-books.com(215) 703-8277

© 2026 LexBooks, Inc. All rights reserved.

Practical formal methods for hardware designPractical formal methods for hardware design

Practical formal methods for hardware design

Carlos Delgado Kloos, Werner Damm

Details

OL Work ID
OL18230259W

Subjects

Logic circuitsMethodologyComputer hardware description languagesDigital integrated circuitsFormal methods (Computer science)Design and constructionComputer input-output equipment

Find this book

Open Library
Book data from Open Library. Cover images courtesy of Open Library.