Home > Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings
Tools and Algorithms for the Construction and Analysis of Systems: 11th International Conference, TACAS 2005, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2004, Proceedings
Book Informaton
Author
Nicolas Halbwachs; Lenore Zuck
Series
Lecture Notes in Computer Science
Volume
3440
Year of Publication
2005
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin; New York
Pages
XVIII, 590
Language
en
ISBN
9783540253334, 9783540319801, 3540253335
ARI Id
1664710990132
This page has been accessed 5 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 44 entries
Chapters/Headings | Author(s) | Pages | Info |
1-12 | |||
13-29 | |||
30-44 | |||
45-60 | |||
61-76 | |||
77-92 | |||
93-107 | |||
108-123 | |||
124-139 | |||
140-156 | |||
157-173 | |||
174-190 | |||
191-205 | |||
206-221 | |||
222-236 | |||
237-252 | |||
253-270 | |||
271-286 | |||
287-300 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 44 entries