Tools and Algorithms for the Construction and Analysis of Systems Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings.
4.5 (1,234)
Sold 100+ last 30 days
20% off first order
$49.49$54.99
10% off
Color
Black
Quantity
Product description loading
Product description loading
This is the product description text that will appear here.
Quantity
1
Description
Lecture Notes in Computer ScienceTools and Algorithms for the Construction and Analysis of SystemsSecond International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings.Tiziana Margaria | Bernhard SteffenComputers / Com...