Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures


Book Informaton

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Author

Marcello M. Bonsangue; Susanne Graf; Willem-Paul de Roever

Series

Lecture Notes in Computer Science

Volume

5382

Year of Publication

2008

Publisher

Springer Berlin Heidelberg

City of Publication

Berlin; New York, NY

Pages

X, 313

Language

en

ISBN

9783540921875, 9783540921882, 3540921877

ARI Id

1664696166140


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 14 of 14 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-24
25-51
52-71
72-112
113-132
133-152
153-178
179-199
200-225
226-256
257-279
280-311
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 14 of 14 entries