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
|