Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings


Book Informaton

Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Author

Nadia Polikarpova; Steve Schneider

Series

Lecture Notes in Computer Science

Volume

10510

Year of Publication

1st ed. 2017

Publisher

Springer International Publishing

Pages

XXI, 438

Language

en

ISBN

9783319668444, 9783319668451, 3319668447

ARI Id

1664708854903


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 9 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
I-XXI
1-1
3-17
18-33
34-49
50-66
67-67
69-84
85-101
102-110
111-126
127-127
129-144
145-160
161-176
177-191
193-193
195-210
211-226
227-242
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 37 entries