SPIN model checking and software verification
- ISBN
- 9783540410300
SPIN model checking and software verification is a spin, verification book by .
Discover SPIN model checking and software verification by , spin.
About the Author
is the author of SPIN model checking and software verification. Browse their full catalog on Booklogr.
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 SPIN model checking and software verification?+
SPIN model checking and software verification is a SPIN, Verification, Computer software book.
Who wrote SPIN model checking and software verification?+
SPIN model checking and software verification was written by .