Tools 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 (2031), Band 2031)

Construction

von: Tiziana Margaria · Wang Yi

Taschenbuch

Details (Deutschland)

ISBN-13: 978-3-540-41865-8

ISBN-10: 3-540-41865-2

Springer · 2009

S. auch (eventuell von anderen Autoren):
2008	Taschenbuch	Tools 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)
2008	Taschenbuch	Tools 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)
2008	Taschenbuch	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, Band 3440)
2008	Taschenbuch	Tools 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)
2008	Taschenbuch	Tools 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)
2008	Taschenbuch	Tools 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)
2008	Taschenbuch	Tools 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)