Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II


Book Informaton

Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II

Author

Tiziana Margaria; Bernhard Steffen

Series

Lecture Notes in Computer Science

Volume

11245

Year of Publication

1st ed. 2018

Publisher

Springer International Publishing

Pages

XIII, 496

Language

en

ISBN

9783030034207, 9783030034214

ARI Id

1665149681240


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 38 entries
Chapters/HeadingsAuthor(s)PagesInfo
I-XIII
1-1
3-7
8-27
28-52
53-63
64-74
75-91
92-102
103-119
120-136
137-137
139-143
144-159
160-178
179-196
197-215
216-234
235-257
259-259
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 38 entries