Velebil Jiří

Tituly autora (2)

• Semantics of infinite behaviour

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

  Formát: Tištěná kniha

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

  České vysoké učení technické v Praze

  2007

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

• Sémantika programovacích jazyků

  Formát: Tištěná kniha

  Richta Karel, Velebil Jiří

  Univerzita Karlova

  1997

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