Logická analýza programů

Autor Široký, Pavel
Vydáno 1981

Dijkstrův programovací jazyk GCL

Autor Jež, Zdeněk
Vydáno 1982

Experimentální metoda výuky programování na střední škole

Autor Tomková, Sylva
Vydáno 1982

Verifikace programů - metoda intermitentních podmínek

Autor Kubátová, Alice
Vydáno 1983

BASIC - ladící prostředky

Autor Tesař, Josef
Vydáno 1984

Constrained rewrite transition systems

Autor Strejček, Jan, 1977-
Vydáno 2000

Spravedlivé provádění paralelních procesů

Autor Michálková, Pavlína
Vydáno 1989

Modely pro TiCSP

Autor Dichtlová, Marie
Vydáno 1992