Výsledky hledání pro autora

Obálka

First-Order Dynamic Logic /

Autor Harel, David
Vydáno: 1979

Kniha

Obálka

First-order dynamic logic /

Autor Harel, David, 1950-
Vydáno: 1979

Kniha

Obálka

Algorithmics : the spirit of computing /

Autor Harel, David, 1950-
Vydáno: 2004

Kniha

Obálka

Dynamic Logic /

Vydáno: 2000

Další autoři: „... Harel, David ...“

Kniha