Pre-Owned Lecture Notes in Computer Science: Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference Tacas 98 Held as Part of the Joint European Conferences on Theory a

Pre-Owned Lecture Notes in Computer Science: Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference Tacas 98 Held as Part of the Joint European Conferences on Theory a

This book constitutes the refereed proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS 98 held in conjunction with ETAPS in Lisbon Portugal in March/April 1998. The 28 revised...


Walmart

$71.26
Free Delivery

Go to store
Items per page