Výsledky hledání pro autora

1

Obálka

Tools and algorithms for the construction and analysis of systems : Fifth International Workshop, TACAS '99, held as a part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99 : Amsterdam, The Netherlands, March 22-28, 1999 : proceedings /

Vydáno 1999

Další autoři: '; “...Cleveland, W. Rance...”

Kniha