Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, ... 1217 (Lecture Notes in Computer Science)

More Information

Format: Paperback
Pages: 452
Edition: 1997
Publisher: Springer
Published: 13 Jun 2008
ISBN 10: 3540627901
ISBN 13: 9783540627906