Home > Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings
Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings
Book Informaton
Author
Kurt Jensen; Andreas Podelski
Series
Lecture Notes in Computer Science
Volume
2988
Year of Publication
2004
Publisher
Springer Berlin Heidelberg
City of Publication
New York
Pages
XIV, 614
Language
en
ISBN
9783540212997, 9783540247302, 354021299X
ARI Id
1664611799045
This page has been accessed 6 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 45 entries
Chapters/Headings | Author(s) | Pages | Info |
1-15 | |||
16-30 | |||
31-45 | |||
46-60 | |||
61-76 | |||
77-92 | |||
93-107 | |||
108-122 | |||
123-138 | |||
139-143 | |||
144-152 | |||
153-157 | |||
158-162 | |||
163-167 | |||
168-176 | |||
177-191 | |||
192-204 | |||
205-219 | |||
220-235 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 45 entries