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

Algoritmy řešení problematiky oslunění architektonických struktur

Autor Ondrouchová, Hana
Vydáno 1983

Verifikace programů - metoda intermitentních podmínek

Autor Kubátová, Alice
Vydáno 1983

Programovací jazyk Fortran a jeho využití v návaznosti na matematiku SEŠ

Autor Papírníková, Eva
Vydáno 1983

Dijkstrův programovací jazyk I.

Autor Uhlířová, Hana
Vydáno 1984

BASIC - ladící prostředky

Autor Tesař, Josef
Vydáno 1984

Syntakticky orientovaný editor I.

Autor Konečná, Zuzana
Vydáno 1986

Abstraktní datové typy - specifikace a implementace

Autor Porubský, Ivo
Vydáno 1987

Metody kvantitativního ohodnocení kvality softwaru

Autor Nykodýmová, Helena
Vydáno 1987

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

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

Interpret jazyka (Ti)CSP

Autor Steinmetz, Petr
Vydáno 1992

Modely pro TiCSP

Autor Dichtlová, Marie
Vydáno 1992