Výsledky hledání pro autora

1

Obálka

Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings /

Vydáno 2004

Další autoři: '; “...Davies, Jim, 1964-...”

Kniha

2

Obálka

FM '99 - Formal methods : World Congress on Formal Methods in the Development of Computing Systems : Toulouse, France, September 20-24, 1999 : proceedings. Vol. 1 /

Vydáno 1999

Další autoři: '; “...Davies, Jim, 1964-...”

Kniha

3

Obálka

FM '99 - Formal methods : World Congress on Formal Methods in the Development of Computing Systems : Toulouse, France, September 20-24, 1999 : proceedings. Vol. 2 /

Vydáno 1999

Další autoři: '; “...Davies, Jim, 1964-...”

Kniha