scientific article
From MaRDI portal
Publication:3686016
zbMath0569.68014MaRDI QIDQ3686016
Publication date: 1983
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
compositionimplementation correctnessalgebraic implementations of abstract data typessyntax and semantics of implementations
Related Items (4)
Structured algebraic specifications: A kernel language ⋮ Toward formal development of programs from algebraic specifications: Implementations revisited ⋮ Essential concepts of algebraic specification and program development ⋮ Toward formal development of programs from algebraic specifications: Model-theoretic foundations
This page was built for publication:
