Formal methods for components and objects : first international symposium, FMCO 2002, Leiden, the Netherlands, November 5-8, 2002 : revised lectures
Frank S. de Boer ... [et al.] (eds.)
Bok Engelsk 2003 FMCO 2002
| Utgitt | Berlin : Springer , c2003
|
|---|---|
| Omfang | VIII, 507 s. : ill.
|
| Emner | |
| Dewey | |
| ISBN | 3540203036
|
