Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II


Book Informaton

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

Author

Tiziana Margaria; Bernhard Steffen

Series

Lecture Notes in Computer Science

Volume

8803

Year of Publication

2014

Publisher

Springer Berlin Heidelberg

Pages

XVIII, 644

Language

EN

ISBN

9783662452301, 9783662452318

ARI Id

1664705495815


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 52 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-4
5-21
22-36
37-53
54-73
74-87
88-103
104-119
120-134
135-142
143-159
160-176
177-192
193-207
208-222
223-238
239-253
254-273
274-276
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 52 entries