Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European ... 2031 (Lecture Notes in Computer Science)

More Information

Format: Paperback
Pages: 608
Edition: 2001
Publisher: Springer
Published: 22 Feb 2009
ISBN 10: 3540418652
ISBN 13: 9783540418658