scientific article

zbMath0699.68039MaRDI QIDQ3993541

Ernst-Erich Doberkat, Dietmar Fox

Publication date: 23 January 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

specificationsoftware prototypingSETL

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01) Theory of software (68N99)

Related Items (2)

Unnamed Item ⋮ A derived algorithm for evaluating \(\varepsilon\)-expressions over abstract sets

This page was built for publication: