Výsledky hledání pro autora

1

Obálka

Tools and algorithms for the construction and analysis of systems : 12th International Conference, TACAS 2006, held as a part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006 : Vienna, Austria, March 25-April 2, 2006 : proceedings /

Vydáno 2006

“...TACAS (konference) Vídeň, Rakousko)...”

Kniha