Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I


Book Informaton

Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

Author

Tiziana Margaria; Bernhard Steffen

Series

Lecture Notes in Computer Science

Volume

7609

Year of Publication

2012

Publisher

Springer Berlin Heidelberg

Pages

XVI, 617

Language

EN

ISBN

9783642340253, 9783642340260

ARI Id

1664811536778


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-3
4-18
19-31
32-46
47-63
64-78
79-96
97-111
112-126
127-130
131-145
146-161
162-177
178-192
193-207
208-222
223-237
238-252
253-268
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 47 entries