Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings

Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings


Book Informaton

Model Checking Software: 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings

Author

Ezio Bartocci; C. R. Ramakrishnan

Series

Lecture Notes in Computer Science

Volume

7976

Year of Publication

2013

Publisher

Springer Berlin Heidelberg

Pages

X, 377

Language

en

ISBN

9783642391750, 9783642391767, 3642391753

ARI Id

1664779467652


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 7 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 24 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-17
18-23
24-42
43-60
61-80
81-98
99-116
117-134
135-153
154-159
160-177
178-195
196-208
209-226
227-245
246-263
264-281
282-300
301-319
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 24 entries