On the verification of abstract data types

Varga, L.: On the verification of abstract data types. Acta cybernetica, (6) 1. pp. 7-12. (1983)

[img] Cikk, tanulmány, mű
cybernetica_006_numb_001_007-012.pdf

Download (779kB)
Item Type: Article
Journal or Publication Title: Acta cybernetica
Date: 1983
Volume: 6
Number: 1
Page Range: pp. 7-12
ISSN: 0324-721X
Language: angol
Uncontrolled Keywords: Természettudomány, Matematika
Additional Information: Bibliogr.: 12. p.
Date Deposited: 2016. Oct. 15. 12:27
Last Modified: 2016. Oct. 15. 12:27
URI: http://acta.bibl.u-szeged.hu/id/eprint/12336

Actions (login required)

View Item View Item