ISBN 3540627901 books & textbook
Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, ... (Lecture Notes in Computer Science, 1217)
Springer /1997-03-20 Paperback / 447 Pages
isbn-10: 3540627901 / isbn-13: 9783540627906
