Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European ... Cyprus, March 20-29, 2010, Pro - Softcover

 
9783642120039: Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European ... Cyprus, March 20-29, 2010, Pro

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Weitere beliebte Ausgaben desselben Titels

9783642120015: Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European ... Notes in Computer Science, Band 6015)

Vorgestellte Ausgabe

ISBN 10:  3642120016 ISBN 13:  9783642120015
Verlag: Springer, 2010
Softcover