Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint ... Computer Science and General Issues)
by
ISBN 13: 9783642287558
Format: Paperback (560 pages) Publisher: Springer Published: 14 Mar 2012
Save for later