Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures

Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures


Book Informaton

Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures

Author

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

Series

Lecture Notes in Computer Science

Volume

3188

Year of Publication

2004

Publisher

Springer Berlin Heidelberg

City of Publication

Berlin; New York

Pages

VIII, 371

Language

en

ISBN

9783540229421, 9783540301011, 3540229426

ARI Id

1664351027032


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 5 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 19 of 19 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-16
17-41
42-76
77-110
111-133
134-156
157-176
177-196
197-222
223-239
240-259
260-275
276-291
292-313
314-329
330-343
344-371
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 19 of 19 entries