Skip to main content Skip to main navigation menu Skip to site footer
Acta Cybernetica
  • Accepted Papers
  • Current
  • Archives
  • Announcements
  • About
    • About the Journal
    • Submissions
    • Editorial Board
    • Contact
Search
  • Register
  • Login
  1. Home /
  2. Archives /
  3. Vol. 6 No. 1 (1983) /
  4. Regular articles

On the verification of abstract data types

Authors

  • L. Varga

Downloads

Download data is not yet available.

Downloads

  • PDF

Published

1983-01-01

How to Cite

Varga, L. (1983). On the verification of abstract data types. Acta Cybernetica, 6(1), 7–12. Retrieved from https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3236
  • ACM
  • APA
  • Chicago
  • IEEE
  • Turabian
Download Citation
  • Endnote/Zotero/Mendeley (RIS)
  • BibTeX

Issue

Vol. 6 No. 1 (1983)

Section

Regular articles

Most read articles by the same author(s)

  • L. Varga, Synthesis of abstract algorithms , Acta Cybernetica: Vol. 5 No. 1 (1980)
  • I. Fekete, L. Varga, On the formal definition of VDL-objects , Acta Cybernetica: Vol. 3 No. 3 (1977)

Developed By

Open Journal Systems

Information

  • For Readers
  • For Authors
  • For Librarians

Make a Submission

Make a Submission
Most read in last month
  • Operations on Signed Distance Functions
    209
  • A tourist guide through treewidth
    134
  • Adding Semantics to Measurements: Ontology-Guided, Systematic Performance Analysis
    131
  • Optimal strategy in games with chance nodes
    118
  • Geometric Distance Fields of Plane Curves
    117

Current Issue

  • Atom logo
  • RSS2 logo
  • RSS1 logo
Publisher    
University of Szeged, Institute of Informatics
Publisher's headquarters    
Árpád square 2, H-6720 Szeged, Hungary
Responsible Publisher    
László Nyúl
Editor-in-chief    
Tibor Csendes
Managing editor    
Boglárka G.-Tóth
ISSN    
0324-721X (Print)
ISSN    
2676-993X (Online)
 
 
More information about the publishing system, Platform and Workflow by OJS/PKP.