Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European ... Computer Science and General Issues)
by
ISBN 13: 9783642120015
Format: Paperback (468 pages) Publisher: Springer Published: 17 Mar 2010
Save for later
Hybrid Systems: Computation and Control: 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009, Proceedings (Lecture ... Computer Science and General Issues)
ISBN 13: 9783642006012
Format: Paperback (492 pages) Publisher: Springer Published: 27 Mar 2009
Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
ISBN 13: 9783540851134
Format: Paperback (343 pages) Publisher: Springer Published: 25 Jul 2008