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

Susanne Graf, Michael Schwartzbach / Springer 2000
552 pp., Paperback, ex library, else text clean and binding tight. Volumes Included: 1

ISBN: 3540672826
Subject/Keywords:

Item #: 720360

$7.02

Add To Cart