Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings


Book Informaton

Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings

Author

Joost-Pieter Katoen; Perdita Stevens

Series

Lecture Notes in Computer Science

Volume

2280

Year of Publication

2002

Publisher

Springer Berlin Heidelberg

City of Publication

New York

Pages

XIV, 486

Language

en

ISBN

9783540434191, 9783540460022, 3540434194

ARI Id

1664318960025


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 5 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 37 entries
Chapters/HeadingsAuthor(s)PagesInfo
I-XIII
1-19
20-20
21-36
37-51
52-66
67-82
83-97
98-112
113-126
127-141
142-157
158-172
173-187
188-204
205-220
221-235
236-250
251-265
266-280
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 37 entries