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

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I


Book Informaton

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

Author

Tiziana Margaria; Bernhard Steffen

Series

Lecture Notes in Computer Science

Volume

6415

Year of Publication

2010

Publisher

Springer Berlin Heidelberg

City of Publication

Berlin, Heidelberg

Pages

XX, 708

Language

en

ISBN

9783642165573, 9783642165580

ARI Id

1664746612249


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 5 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 57 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-2
3-3
4-17
18-32
33-46
47-57
58-59
60-74
75-89
90-105
106-120
121-121
122-136
137-151
152-168
169-183
184-197
198-213
214-227
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 57 entries