On the verification of abstract data types

Elmentve itt :
Bibliográfiai részletek
Szerző: Varga L.
Dokumentumtípus: Cikk
Megjelent: 1983
Sorozat:Acta cybernetica 6 No. 1
Kulcsszavak:Számítástechnika, Kibernetika, Matematika
Tárgyszavak:
Online Access:http://acta.bibl.u-szeged.hu/12336
Leíró adatok
Terjedelem/Fizikai jellemzők:7-12
ISSN:0324-721X