Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science (2031)): 7th International Conference, TACAS 2001 ... Genova, Italy, April 2-6, 2001 Proceedings Book Discussion

Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science (2031)): 7th International Conference, TACAS 2001 ... Genova, Italy, April 2-6, 2001 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science (2031)): 7th International Conference, TACAS 2001 ... Genova, Italy, April 2-6, 2001 Proceedings
by

Tiziana Margaria (editor)

Topics About This Book Topics That Mention This Book

There are no discussion topics on this book yet. Be the first to start one »

see all book discussions »
post a new topic »