Výsledky hledání pro autora

1

Obálka

Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings /

Vydáno 2002

Další autoři: '; “...George, Chris W....”

Kniha

2

Obálka

Domain modeling and the duration calculus : international training school : Shanghai, China, September 17-21, 2007 : advanced lectures /

Vydáno 2007

Další autoři: '; “...George, Chris W....”

Kniha