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: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings


Book Informaton

Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings

Author

Javier Esparza; Rupak Majumdar

Series

Lecture Notes in Computer Science

Volume

6015

Year of Publication

2010

Publisher

Springer Berlin Heidelberg

City of Publication

Berlin; New York

Pages

XVI, 468

Language

en

ISBN

9783642120015, 9783642120022, 3642120016

ARI Id

1664716346297


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 7 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 39 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-1
2-22
23-37
38-52
53-68
69-83
84-98
99-113
114-128
129-144
145-149
150-153
154-157
158-174
175-189
190-204
205-220
221-235
236-250
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 39 entries