A programhelyesség bizonyításának módszerei VDL programok vertifikálása

Elmentve itt :
Bibliográfiai részletek
Szerző: Krasnyánszki Kálmán
További közreműködők: Siklósi István (Témavezető)
Tóth Péter (Témavezető)
Dokumentumtípus: Szakdolgozat
Megjelent: 1976
Tárgyszavak:
Online Access:http://diploma.bibl.u-szeged.hu/3882
Leíró adatok
További adatokért lásd a Minden adat megjelenítése... fület