Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings


Book Informaton

FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

Author

Dimitra Giannakopoulou; Dominique Mery

Series

Lecture Notes in Computer Science

Volume

7436

Year of Publication

2012

Publisher

Springer Berlin Heidelberg

Pages

XVI, 488

Language

EN

ISBN

9783642327582, 9783642327599

ARI Id

1664853497493


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 40 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-5
6-6
7-9
10-27
28-32
33-36
37-51
52-67
68-84
85-100
101-115
116-131
132-146
147-154
155-170
171-186
187-201
202-216
217-231
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 40 entries