Verification, Model Checking, and Abstract Interpretation
- ISBN
- 9783540697381
Verification, Model Checking, and Abstract Interpretation is a computer programming, computers book by Kedar S. Namjoshi.
Discover Verification, Model Checking, and Abstract Interpretation by Kedar S. Namjoshi, computer programming.
About the Author
is the author of Verification, Model Checking, and Abstract Interpretation. Browse their full catalog on Booklogr.
Explore more books by Kedar S. Namjoshi →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 Verification, Model Checking, and Abstract Interpretation?+
Verification, Model Checking, and Abstract Interpretation is a Computer Programming, Computers, Computers - General Information, Computer Books: General, Logic Design book.
Who wrote Verification, Model Checking, and Abstract Interpretation?+
Verification, Model Checking, and Abstract Interpretation was written by Kedar S. Namjoshi.