Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings

Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings


Book Informaton

Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings

Author

Zhiming Liu; Anders P. Ravn

Series

Lecture Notes in Computer Science

Volume

5799

Year of Publication

2009

Publisher

Springer Berlin Heidelberg

Pages

XI, 414

Language

en

ISBN

9783642047602, 9783642047619

ARI Id

1665024694138


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 31 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-20
21-21
22-38
39-53
54-68
69-83
84-89
90-96
97-103
104-119
120-134
135-150
151-165
166-181
182-196
197-212
213-227
228-243
244-254
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 31 entries