Výsledky hledání pro autora

1

Obálka

Theoretical aspects of computing - ICTAC 2004 : first International Colloquium : Guiyang, China, September 20-24, 2004 : revised selected papers /

Vydáno 2005

Další autoři: '; “...Araki, Keijiro, 1954-...”

Kniha

2

Obálka

FME 2003 : Formal methods : International Symposium of Formal Methods Europe : Pisa, Italy, September 8-14, 2003 : proceedings /

Vydáno 2003

Další autoři: '; “...Araki, Keijiro, 1954-...”

Kniha

3

Obálka

Formal methods and software engineering : 10th International Conference on Formal Engineering Methods, ICFEM 2008 : Kitakyushu-City, Japan, October 27-31, 2008 : proceedings /

Vydáno 2008

Další autoři: '; “...Araki, Keijiro, 1954-...”

Kniha