Szerző: " Csirmaz László"

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. In: Acta cybernetica, (5) 2. pp. 181-190. (1981)

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

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

A lista elkészítésének dátuma 2026. január 4. 21:53:44 CET.

Itt kérhet technikai vagy tartalmi segítséget: contenta AT ek.szte.hu
SZTE Egyetemi Kiadványok is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.