Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European ... Notes in Computer Science (3440), Band 3440)

Construction

von: Lenore Zuck · Nicolas Halbwachs

Taschenbuch

EAN=ISBN-13: 978-3-540-25333-4

ISBN-10: 3-540-25333-5

Springer · 2008
Siehe auch (möglicherweise von anderen Autoren):
2009TaschenbuchTools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European ... Notes in Computer Science, Band 2031)
2008TaschenbuchTools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held as Part of the Joint European ... Notes in Computer Science (2619), Band 2619)
2008TaschenbuchTools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European ... Notes in Computer Science (2988), Band 2988)
2008TaschenbuchTools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European ... Notes in Computer Science (3920), Band 3920)
2008TaschenbuchTools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, Tacas 2002, Held as Part of the Joint European ... Notes in Computer Science, Band 2280)
2008TaschenbuchTools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98, Held as Part of the Joint European ... Notes in Computer Science, Band 1384)
2008TaschenbuchTools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European ... Notes in Computer Science (1785), Band 1785)