Výsledky hledání pro autora

1

Obálka

The classical decision problem /

Autor Börger, Egon, 1946-, Gurevich, Yuri, 1940-
Vydáno 1997

Kniha

2

Obálka

Java and the Java virtual machine : definition, verification, validation /

Autor Stärk, Robert F., Schmidt, Joachim W., 1941-, Börger, Egon, 1946-
Vydáno 2001

Kniha

3

Obálka

Architecture design and validation methods /

Vydáno 2000

Další autoři: '; “...Börger, Egon, 1946-...”

Kniha