ISBN 3540330569 books & textbook
Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European ... (Lecture Notes in Computer Science, 3920)
Hermanns, Holger Palsberg, Jens
Springer /2006-03-15 Paperback / 528 Pages
isbn-10: 3540330569 / isbn-13: 9783540330561
