scientific article
From MaRDI portal
Publication:3919053
zbMath0466.68006MaRDI QIDQ3919053
H. Wössner, Friedrich L. Bauer
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of software (68Nxx)
Related Items (5)
Relational algebraic semantics of deterministic and nondeterministic programs ⋮ A theory for nondeterminism, parallelism, communication, and concurrency ⋮ Partial abstract types ⋮ Unnamed Item ⋮ Two impossibility theorems on behaviour specification of abstract data types
This page was built for publication:
