Tudományterület szerző szerint "Csirmaz, László"

Vissza
Export [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
csoportosítás: Mű típusa | csoportosítás nélkül
Találatok száma: 3.

Cikk, tanulmány, mű

Csirmaz, László: On the completeness of proving partial correctness. Acta cybernetica, (5) 2. pp. 181-190. (1981)

Csirmaz, László: Iterated grammars. Acta cybernetica, (5) 1. pp. 43-47. (1980)

Csirmaz, László: Structure of program runs of non-standard time. Acta cybernetica, (4) 4. pp. 325-331. (1980)

A lista elkészítésének dátuma 2018. május 26. 11:45:57 CEST.