Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L' Aquila, Italy, September 15-16, 2008, Revised Selected Papers

Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L' Aquila, Italy, September 15-16, 2008, Revised Selected Papers


Book Informaton

Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L' Aquila, Italy, September 15-16, 2008, Revised Selected Papers

Author

Darren Cofer; Alessandro Fantechi

Series

Lecture Notes in Computer Science

Volume

5596

Year of Publication

2009

Publisher

Springer Berlin Heidelberg

City of Publication

Berlin, Heidelberg

Pages

X, 233

Language

en

ISBN

9783642032394, 9783642032400

ARI Id

1664705766108


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 9 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 20 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-1
2-2
3-3
4-6
7-22
23-36
37-52
53-68
69-84
85-102
103-118
119-134
135-149
150-165
166-181
182-198
199-214
215-231
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 20 entries