Tools and Algorithms for the Construction and Analysis of Systems/First International Workshop, Tacas *95, Aarhus, Denmark, May 19-20, 1995. Selected Papers
Add this copy of Tools and Algorithms for the Construction and Analysis to cart. $52.42, new condition, Sold by discount_scientific_books rated 5.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES, published 1995 by Springer.
Tools and Algorithms for the Construction and Analysis of Systems/First International Workshop, Tacas *95, Aarhus, Denmark, May 19-20, 1995. Selected Papers
Add this copy of Tools and Algorithms for the Construction and Analysis to cart. $54.36, new condition, Sold by discount_scientific_books rated 5.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES, published 1995 by Springer.
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, Tacas '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers
by Brinksma, Ed (Editor), and Cleaveland, W Rance (Editor), and Larsen, Kim G (Editor)
Add this copy of Tools and Algorithms for the Construction and Analysis to cart. $60.65, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 1995 by Springer.
Add this copy of Tools and Algorithms for the Construction and Analysis to cart. $65.30, new condition, Sold by Media Smart rated 4.0 out of 5 stars, ships from Hawthorne, CA, UNITED STATES, published 1995 by Springer.
