Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings


Book Informaton

Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

Author

Franck Cassez; Jean-Francois Raskin

Series

Lecture Notes in Computer Science

Volume

8837

Year of Publication

2014

Publisher

Springer International Publishing

Pages

XXIV, 430

Language

EN

ISBN

9783319119359, 9783319119366, 3319119354

ARI Id

1664697822061


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 31 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-17
18-23
24-30
31-46
47-63
64-80
81-97
98-114
115-128
129-145
146-162
163-167
168-184
185-200
201-218
219-234
235-241
242-247
248-263
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 31 entries