ISBN 3662496739 books & textbook
Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint ... (Lecture Notes in Computer Science, 9636)
Chechik, Marsha Raskin, Jean-François
Springer /2016-04-09 Paperback / 980 Pages
isbn-10: 3662496739 / isbn-13: 9783662496732
