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 II

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


Book Informaton

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

Author

Tiziana Margaria; Bernhard Steffen

Series

Lecture Notes in Computer Science

Volume

7610

Year of Publication

2012

Publisher

Springer Berlin Heidelberg

Pages

XVI, 361

Language

en

ISBN

9783642340314, 9783642340321

ARI Id

1664721525357


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 37 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-6
7-11
12-24
25-41
42-55
56-66
67-69
70-72
73-74
75-77
78-79
80-95
96-110
111-125
126-142
143-157
158-172
173-186
187-189
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 37 entries