Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings

Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings


Book Informaton

Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings

Author

Stefan Kowalewski; Marco Roveri

Series

Lecture Notes in Computer Science

Volume

6371

Year of Publication

2010

Publisher

Springer Berlin Heidelberg

City of Publication

Berlin; New York

Pages

XII, 231

Language

en

ISBN

9783642158971, 9783642158988, 3642158978

ARI Id

1664790933803


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 16 of 16 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-16
17-32
33-49
50-66
67-81
82-98
99-114
115-131
132-147
148-163
164-179
180-197
198-214
215-230
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 16 of 16 entries