Formal methods for components and objects : 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005 : revised lectures
Frank S. de Boer ... [et al.] (eds.)
Bok Engelsk 2006 FMCO 2005
| Utgitt | Berlin : Springer , c2006
|
|---|---|
| Omfang | VIII, 427 s. : ill.
|
| Opplysninger | På omslaget: State-of-the-art survey
|
| Emner | |
| ISBN | 3540367497. - 9783540367499
|
