Verification, Model Checking, and Abstract Interpretation
- ISBN
- 9783540436317
Verification, Model Checking, and Abstract Interpretation is a verification, computer programs book by Agostino Cortesi.
Discover Verification, Model Checking, and Abstract Interpretation by Agostino Cortesi, verification.
About the Author
is the author of Verification, Model Checking, and Abstract Interpretation. Browse their full catalog on Booklogr.
Explore more books by Agostino Cortesi →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 Verification, Computer programs book.
Who wrote Verification, Model Checking, and Abstract Interpretation?+
Verification, Model Checking, and Abstract Interpretation was written by Agostino Cortesi.