Výsledky hledání pro autora

1

Obálka

Tools and algorithms for the construction and analysis of systems : 7th International Conference, TACAS 2001, held as a part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 : Genova, Italy, April 2-6, 2001 : proceedings /

Vydáno 2001

“...TACAS (konference) Janov, Itálie)...”

Kniha