42388446
9783662195062
Out of Stock
The item you're looking for is currently unavailable.
Graf, Susanne is the author of 'Tools and Algorithms for the Construction and Analysis of Systems : 6th International Conference, Tacas 2000 Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2000 Berlin, Germany, March 25 - April 2, 2000 Proceeding', published 2014 under ISBN 9783662195062 and ISBN 3662195062.
[read more]