Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings

FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings


Book Informaton

FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings

Author

John Fitzgerald; Ian J. Hayes

Series

Lecture Notes in Computer Science

Volume

3582

Year of Publication

2005

Publisher

Springer Berlin Heidelberg

Pages

XIV, 558

Language

en

ISBN

9783540278825, 9783540317142, 3540278826

ARI Id

1664726372268


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 8 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 42 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-1
2-8
9-25
26-42
43-58
59-74
75-90
91-106
107-122
123-138
139-156
157-172
173-188
189-204
205-220
221-236
237-252
253-268
269-285
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 42 entries