scientific article
From MaRDI portal
Publication:3468602
zbMath0693.68010MaRDI QIDQ3468602
Amílcar Sernadas, Cristina Sernadas, Hans-Dieter Ehrich
Publication date: 1990
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Data structures (68P05) General topics in the theory of software (68N01)
Related Items (6)
My ADT Shrine ⋮ Object interaction ⋮ Temporal theories as modularisation units for concurrent system specification ⋮ Progress assumption in concurrent systems ⋮ Denotational semantics of an object-oriented programming language with explicit wrappers ⋮ Object inheritance beyond subtyping
This page was built for publication:
