Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, the Netherlands, November 2-5, 2004 : revised lectures
Frank S. de Boer ... [et al.] (eds.)
Bok Engelsk 2005 FMCO 2004
| Utgitt | Berlin : Springer , c2005
|
|---|---|
| Omfang | VIII, 323 s. : ill.
|
| Opplysninger | På omslaget: Tutorial
|
| Emner | |
| ISBN | 3540291318. - 9783540291312
|
