ISBN 9783540610427 books & textbook
Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, ... (Lecture Notes in Computer Science, 1055)
Margaria, Tiziana Steffen, Bernhard
Springer /1996-03-20 Paperback / 456 Pages
isbn-10: 3540610421 / isbn-13: 9783540610427
