Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II


Book Informaton

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II

Author

Tiziana Margaria; Bernhard Steffen

Series

Lecture Notes in Computer Science

Volume

9953

Year of Publication

1st ed. 2016

Publisher

Springer International Publishing

Pages

XXIV, 866

Language

EN

ISBN

9783319471686, 9783319471693

ARI Id

1664917461822


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 76 entries
Chapters/HeadingsAuthor(s)PagesInfo
I-XXIV
1-1
3-10
11-26
27-31
32-49
50-67
68-79
80-96
97-118
119-130
131-133
134-149
150-170
171-186
187-197
198-217
218-237
238-257
259-259
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 76 entries