Výsledky hledání pro autora

1

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: '; “...Wing, Jeannette M....”

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. 2 /

Vydáno 1999

Další autoři: '; “...Wing, Jeannette M....”

Kniha