Tools and algorithms for the construction and analysis of systems
by TACAS 2010 (2010 Paphos, Cyprus)
- ISBN
- 9783642120015
Tools and algorithms for the construction and analysis of systems is a development, model checking book by TACAS 2010 (2010 Paphos, Cyprus).
Discover Tools and algorithms for the construction and analysis of systems by TACAS 2010 (2010 Paphos, Cyprus), development.
About the Author
TACAS 2010 (2010 Paphos, Cyprus) is the author of Tools and algorithms for the construction and analysis of systems. 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 Tools and algorithms for the construction and analysis of systems?+
Tools and algorithms for the construction and analysis of systems is a Development, Model Checking, System design, System analysis book.
Who wrote Tools and algorithms for the construction and analysis of systems?+
Tools and algorithms for the construction and analysis of systems was written by TACAS 2010 (2010 Paphos, Cyprus).