Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings

FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings


Book Informaton

FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings

Author

Ana Cavalcanti; Dennis R. Dams

Series

Lecture Notes in Computer Science

Volume

5850

Year of Publication

2009

Publisher

Springer Berlin Heidelberg

Language

EN

ISBN

9783642050886, 9783642050893

ARI Id

1674219790781


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 55 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-15
16-22
23-32
33-40
41-71
72-88
89-105
106-122
123-139
140-156
157-172
173-189
190-206
207-222
223-238
239-255
256-272
273-288
289-304
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 55 entries