Computer Aided Verification
by Armin Biere
Computer software, verificationComputer scienceComputer network architecturesSoftware engineeringLogic design
Browse all genres - ISBN
- 9783319088662
Computer Aided Verification is a computer software, verification, computer science book by Armin Biere.
Discover Computer Aided Verification by Armin Biere, computer software, verification.
About the Author
is the author of Computer Aided Verification. Browse their full catalog on Booklogr.
Explore more books by Armin Biere →Editions & Formats
Reviews
No reviews yet. Have you read this book? Share your thoughts with the Booklogr community.
Sign in Sign in to write a review
Frequently Asked Questions
What genre is Computer Aided Verification?+
Computer Aided Verification is a Computer software, verification, Computer science, Computer network architectures, Software engineering, Logic design book.
Who wrote Computer Aided Verification?+
Computer Aided Verification was written by Armin Biere.