Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, the N - detaljert visning

Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, the Netherlands, November 4-7, 2003 : revised lectures

FMCO 2003
Bok Engelsk 2004


Utgitt	Berlin : Springer , c2004
Omfang	VIII, 371 s. : ill.
Emner	Formelle metoder Programmeringsmetoder objektorientert programmering
ISBN	3540229426