Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European ... (Lecture Notes in Computer Science)
Price not available for Canada
You can still browse on Amazon. Try another country above.
Book Details
Ratings & Reviews
No reviews yet — be the first!
No reviews yet.
Description
This proceedings volume examines parameterized systems, model checking, applications, static analysis, concurrent/distributed systems, symbolic execution, abstraction, interpolation, trust, and reputation.
