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, germa
by Tacas 2000 , Michael I. Schwartzbach, Susanne Graf
ISBN 3540672826 (3-540-67282-6)
Softcover, Springer Verlag
Find All Copies
› Find collectible copies 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, germa'
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, germaby Tacas 2000 , Michael I. Schwartzbach, Susanne GrafISBN 3540672826 (3-540-67282-6)![[powered by Muze Inc.]](http://i.bookfinder.com/images/site/muze/powered_by_muze.gif){kind=small}