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: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings


Book Informaton

Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings

Author

Parosh Aziz Abdulla; K. Rustan M. Leino

Series

Lecture Notes in Computer Science

Volume

6605

Year of Publication

2011

Publisher

Springer Berlin Heidelberg

City of Publication

Berlin, Heidelberg

Pages

XVI, 394

Language

EN

ISBN

9783642198342, 9783642198359

ARI Id

1664933331307


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 6 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 36 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-2
3-10
11-25
26-40
41-44
45-59
60-64
65-80
81-95
96-111
112-127
128-142
143-157
158-172
173-188
189-204
205-219
220-223
224-238
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 36 entries