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

FMCO 2002
Inngår i serie: Lecture notes in computer science (2852)
Bok · Engelsk · c2003
Vis mer