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: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings


Book Informaton

Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings

Author

Holger Hermanns; Jens Palsberg

Series

Lecture Notes in Computer Science

Volume

3920

Year of Publication

2006

Publisher

Springer Berlin Heidelberg

City of Publication

Berlin; New York

Pages

XVI, 512

Language

en

ISBN

9783540330561, 9783540330578, 3540330569

ARI Id

1664716715399


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
1-26
27-41
42-57
58-72
73-89
90-104
105-119
120-134
135-150
151-166
167-181
182-196
197-211
212-226
227-241
242-256
257-271
272-286
287-302
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 37 entries