Formal methods for components and objects. - first international symposium, FMCO 2002, leiden, The Netherlands, November 2002 : revised lectures
- Författare
- Netherlands) FMCO 2002 (2002 : Leiden
- (Frank S. de Boer ... et al. (eds.).)
- Genre
- Bibliografi, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Verlag | 2003 | Tyskland, Berlin, New York | p. cm. |