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

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

ISBN: 3540643567

ISBN 13: 9783540643562

Author: Jan Van Leeuwen

0.00 of 0

Click the button below to register a free account and download the file


Download PDF

Download ePub

*Disclosure:“This post may contain affiliate links and I earn from qualifying purchases”.