scientific article; zbMATH DE number 8786

zbMATH Open0744.68101MaRDI QIDQ3971275FDOQ3971275

Authors: Jacques Loeckx 

Publication date: 25 June 1992

Title of this publication is not available (Why is that?)

Recommendations

• OBSCURE, a specification language for abstract data types
• scientific article; zbMATH DE number 4084991
• scientific article; zbMATH DE number 3936504
• scientific article; zbMATH DE number 1543051

zbMATH Keywords

specification languagealgorithmic specification methodOBSCURE

Mathematics Subject Classification ID

Theory of software (68N99) Abstract data types; algebraic specification (68Q65)

Cited In (3)

• Title not available (Why is that?)
• Title not available (Why is that?)
• OBSCURE, a specification language for abstract data types

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3971275)