Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures


Book Informaton

Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

Author

Frank S. Boer; Marcello M. Bonsangue; Susanne Graf; Willem-Paul Roever

Series

Lecture Notes in Computer Science

Volume

4111

Year of Publication

2006

Publisher

Springer Berlin Heidelberg

Language

EN

ISBN

9783540367499, 9783540367505

ARI Id

1674219725534


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 7 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 21 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-21
22-43
44-63
64-87
88-114
115-137
138-160
161-171
172-194
195-218
219-242
243-258
259-279
280-312
313-341
342-363
364-387
388-407
408-427
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 21 entries