Formal methods for components and objects : first international symposium, FMCO 2002, Leiden, the Ne - detaljert visning

Formal methods for components and objects : first international symposium, FMCO 2002, Leiden, the Netherlands, November 5-8, 2002 : revised lectures

FMCO 2002
Bok Engelsk 2003


Utgitt	Berlin : Springer , c2003
Omfang	VIII, 507 s. : ill.
Emner	Component software Formal methods (Computer science) Object-oriented programming (Computer science) Formelle metoder Vis mer... Programmeringsmetoder objektorientert programmering formelle metoder
ISBN	3540203036