Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held as Part of the Joint European ... (Lecture Notes in Computer Science)

Construction

von: Hubert Garavel · John Hatcliff

Springer Berlin Heidelberg · 2003

Taschenbuch

Details (Deutschland)

Details (USA)

Details (Großbritannien)

Details (Kanada)

Details (Frankreich)

Details (Italien)

ISBN: 978-3-540-00898-9

ISBN-10: 3-540-00898-5
Siehe auch (möglicherweise von anderen Autoren):
2008TaschenbuchTools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European ... (Lecture Notes in Computer Science)
2004TaschenbuchTools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European ... (Lecture Notes in Computer Science,)
2002TaschenbuchTools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European ... (Lecture Notes in Computer Science,)
2001TaschenbuchTools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European ... (Lecture Notes in Computer Science,)
2000TaschenbuchTools and Algorithms for the Construction and Analysis of Systems: 6th International Conference, TACAS 2000 Held as Part of the Joint European ... (Lecture Notes in Computer Science)
1998TaschenbuchTools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98, Held as Part of the Joint European ... (Lecture Notes in Computer Science)