Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings


Book Informaton

Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

Author

Doron A. Peled; Yih-Kuen Tsay

Series

Lecture Notes in Computer Science

Volume

3707

Year of Publication

2005

Publisher

Springer Berlin Heidelberg

Pages

XII, 508

Language

en

ISBN

9783540292098, 9783540319696

ARI Id

1664727632253


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 38 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-1
2-2
3-10
11-25
26-38
39-53
54-68
69-83
84-98
99-113
114-128
129-143
144-158
159-173
174-186
187-201
202-216
217-233
234-247
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 38 entries