Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings

Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings


Book Informaton

Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings

Author

Dang Van Hung; Mizuhito Ogawa

Series

Lecture Notes in Computer Science

Volume

8172

Year of Publication

2013

Publisher

Springer International Publishing

Pages

XIV, 528

Language

en

ISBN

9783319024431, 9783319024448, 3319024434

ARI Id

1664737980952


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 47 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-4
5-22
23-23
24-39
40-54
55-70
71-86
87-101
102-117
118-132
133-147
148-162
163-177
178-192
193-207
208-223
224-239
240-254
255-271
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 47 entries