Home > Tools and Algorithms for the Construction of Analysis of Systems: 5th International Conference, TACAS' 99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS' 99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings
Tools and Algorithms for the Construction of Analysis of Systems: 5th International Conference, TACAS' 99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS' 99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings
Book Informaton
Author
W. Rance Cleaveland
Series
Lecture Notes in Computer Science
Volume
1579
Year of Publication
1999
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin; New York
Pages
XII, 456
Language
en
ISBN
9783540657033, 9783540490593, 3540657037
ARI Id
1664674956274
This page has been accessed 8 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 33 entries
Chapters/Headings | Author(s) | Pages | Info |
I-XI | |||
1-18 | |||
19-33 | |||
34-43 | |||
44-58 | |||
59-73 | |||
74-88 | |||
89-103 | |||
104-118 | |||
119-134 | |||
134-147 | |||
148-162 | |||
163-177 | |||
178-192 | |||
193-207 | |||
208-222 | |||
223-239 | |||
240-254 | |||
255-269 | |||
270-284 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 33 entries