Computer Aided Verification 24th International Conference
- ISBN
- 9783642314230
Computer Aided Verification 24th International Conference is a computer software, verification book by Madhusudan Parthasarathy.
Discover Computer Aided Verification 24th International Conference by Madhusudan Parthasarathy, computer software, verification.
About the Author
is the author of Computer Aided Verification 24th International Conference. Browse their full catalog on Booklogr.
Explore more books by Madhusudan Parthasarathy →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 24th International Conference?+
Computer Aided Verification 24th International Conference is a Computer software, verification book.
Who wrote Computer Aided Verification 24th International Conference?+
Computer Aided Verification 24th International Conference was written by Madhusudan Parthasarathy.