ISBN 3540672826 books & textbook
Tools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European ... (Lecture Notes in Computer Science, 1785)
Graf, Susanne Schwartzbach, Michael
Springer /2000-03-15 Paperback / 566 Pages
isbn-10: 3540672826 / isbn-13: 9783540672821
