Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings


Book Informaton

Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Author

John Derrick; Stefania Gnesi; Diego Latella; Helen Treharne

Series

Lecture Notes in Computer Science

Volume

7321

Year of Publication

2012

Publisher

Springer Berlin Heidelberg

Pages

XII, 360

Language

en

ISBN

9783642307287, 9783642307294

ARI Id

1664831569163


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 5 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 26 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-20
21-23
24-38
39-53
54-68
69-83
84-98
99-112
113-127
128-142
143-157
158-173
174-190
191-205
206-220
221-236
237-252
253-267
268-282
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 26 entries