Search from the table of contents of 2.5 million books
Advanced Search (Beta)
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

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

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


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 8 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Access Options
Citation Options
Download Citation

Showing 1 to 20 of 33 entries
Chapters/HeadingsAuthor(s)PagesInfo
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/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 33 entries