Tools and Algorithms for the Construction and Analysis of Systems: 15th International Conference, TACAS 2009, Held as Part of the Joint European ... Computer Science and General Issues)
by
ISBN 13: 9783642007675
Format: Paperback (456 pages) Publisher: Springer Published: 09 Mar 2009
Save for later