scientific article; zbMATH DE number 1004364

MaRDI QIDQ3129296zbMATH OpenFDO

Authors Hartmut Ehrig, Uwe Wolter

Publication date 20 July 1997

zbMATH Keywords

algebraic specification techniques

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• Essential concepts of algebraic specification and program development
• scientific article; zbMATH DE number 3936493
• scientific article; zbMATH DE number 3872655
• scientific article; zbMATH DE number 4129965
• scientific article; zbMATH DE number 1324839

Cited in

(6)

• scientific article; zbMATH DE number 2143090 (Why is no real title available?)
• scientific article; zbMATH DE number 4129965 (Why is no real title available?)
• scientific article; zbMATH DE number 3936493 (Why is no real title available?)
• scientific article; zbMATH DE number 4115946 (Why is no real title available?)
• scientific article; zbMATH DE number 1189277 (Why is no real title available?)
• The foundational legacy of ASL

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 Q3129296)