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.

Computer Aided Verification

Computer Aided Verification2005

Kousha Etessami, Sriram K. Rajamani

Details

First published
2005
OL Work ID
OL27333556W

Subjects

Integrated circuitsComputer programsComputer software, verification

Find this book

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