Velebil Jiří

Tituly autora (2)

• Semantics of infinite behaviour

  Sémantika nekonečného chování

  Tištěná kniha

  Velebil Jiří, České vysoké učení technické v Praze. Elektrotechnická fakulta

  České vysoké učení technické v Praze, Nakladatelství ČVUT

  2007

  978-80-01-03732-4 (brož.)

• Sémantika programovacích jazyků

  Tištěná kniha

  Richta Karel, Velebil Jiří

  Karolinum

  1997

  978-80-7184-327-6 (brož.)