Výsledky hledání pro autora

1

Obálka

Tools and algorithms for the construction and analysis of systems : 4th International Conference, TACAS '98, held as a part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98 : Lisbon, Portugal, March 28-April 4, 1998 : proceedings /

Vydáno 1998

Další autoři: '; “...Steffen, Bernhard, 1958-...”

Kniha

2

Obálka

Leveraging applications of formal methods : first international symposium, ISOLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, revised selected papers /

Vydáno 2006

Další autoři: '; “...Steffen, Bernhard, 1958-...”

Kniha

3

Obálka

Tools and algorithms for the construction and analysis of systems : second International Workshop TACAS '96 : Passau, Germany, March 27-29, 1996 : proceedings /

Vydáno 1996

Další autoři: '; “...Steffen, Bernhard, 1958-...”

Kniha