Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, the Netherlands, November 2-5, 2004 : revised lectures

FMCO 2004
Inngår i serie: Lecture notes in computer science (3657)
Bok · Engelsk · c2005
Vis mer