Výsledky hledání pro autora

1

Obálka

Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings /

Vydáno 2005

Další autoři: '; “...Lau, K.-K. 1953-...”

Kniha

2

Obálka

Program development in computational logic : a decade of research advances in logic-based program development /

Vydáno 2004

Další autoři: '; “...Lau, K.-K. 1953-...”

Kniha