Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings


Book Informaton

FM 2006: Formal Methods: 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings

Author

Jayadev Misra; Tobias Nipkow; Emil Sekerinski

Series

Lecture Notes in Computer Science

Volume

4085

Year of Publication

2006

Publisher

Springer Berlin Heidelberg

Pages

XV, 620

Language

en

ISBN

9783540372158, 9783540372165, 3540372156

ARI Id

1664708432292


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 47 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-15
16-31
32-47
48-63
64-80
81-81
82-97
98-114
115-130
131-146
147-162
163-178
179-189
190-204
205-220
221-235
236-251
252-267
268-283
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 47 entries