Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, the Netherlands, November 4-7, 2003 : revised lectures
Frank S. de Boer ... [et al.] (eds.)
Bok Engelsk 2004 FMCO 2003
| Utgitt | Berlin : Springer , c2004
|
|---|---|
| Omfang | VIII, 371 s. : ill.
|
| Emner | |
| ISBN | 3540229426
|
