Tools and Algorithms for the Construction and Analysis of Systems Quotes

Rate this book
Clear rating
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. ... (Lecture Notes in Computer Science, 1019) Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. ... by Ed Brinksma
1 rating, 5.00 average rating, 0 reviews
Tools and Algorithms for the Construction and Analysis of Systems Quotes Showing 0-0 of 0