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
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
This page has been accessed 5 times.
Access Options
Citation Options
Download CitationShowing 1 to 19 of 19 entries
Chapters/Headings | Author(s) | Pages | Info |
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/Headings | Author(s) | Pages | Info |
Showing 1 to 19 of 19 entries