A simple class of algorithmic specifications for abstract software modules
- 23 November 2005
- book chapter
- Published by Springer Nature
- p. 362-374
- https://doi.org/10.1007/bfb0022517
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Data type specificationPublished by Association for Computing Machinery (ACM) ,1978
- Extensions and implementations of abstract data type specificationsLecture Notes in Computer Science, 1978
- Stepwise specification and implementation of abstract data typesLecture Notes in Computer Science, 1978