Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings

Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings


Book Informaton

Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings

Author

Ahmed Bouajjani; Wei-Ngan Chin

Series

Lecture Notes in Computer Science

Volume

6252

Year of Publication

2010

Publisher

Springer Berlin Heidelberg

City of Publication

Berlin, Heidelberg

Pages

VIII, 404

Language

en

ISBN

9783642156427, 9783642156434

ARI Id

1664975903626


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 4 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 35 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-16
17-17
18-21
22-36
37-51
52-66
67-81
82-96
97-111
112-127
128-142
143-157
158-172
173-187
188-202
203-217
218-232
233-244
245-258
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 35 entries