Výsledky hledání pro autora

1

Obálka

The classical decision problem /

Autor Borger, Egon, 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-, Borger, Egon
Vydáno 2001

Kniha

3

Obálka

Architecture design and validation methods /

Vydáno 2000

Další autoři: '; “...Borger, Egon...”

Kniha

4

Obálka

Abstract state machines, B and Z : first International Conference, ABZ 2008 : London, UK, September 16-18, 2008 : proceedings /

Vydáno 2008

Další autoři: '; “...Borger, Egon...”

Kniha

5

Obálka

Advances in software engineering : Lipari Summer School 2007 : Lipari Island, Italy, July 8-21, 2007 : revised tutorial lectures /

Vydáno 2008

Další autoři: '; “...Borger, Egon...”

Kniha

6

Obálka

Abstract state machines 2003 : advances in theory and practice : 10th International Workshop, ASM 2003 : Taormina, Italy, March 3-7, 2003 : proceedings /

Vydáno 2003

Další autoři: '; “...Borger, Egon...”

Kniha