scientific article; zbMATH DE number 978763

MaRDI QIDQ4332859zbMATH OpenFDO

Authors Jean-François Dufourd, Dominique Bechmann, Yves Bertrand

Publication date 16 February 1997

zbMATH Keywords

object-oriented programmingalgebraic specificationsC language

Mathematics Subject Classification ID

Data structures (68P05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 1376149
• Mathematical Objects in C++
• scientific article; zbMATH DE number 1822292
• Specification of abstract data types
• Problem solving with C++. The object of programming.

Cited in

(5)

• scientific article; zbMATH DE number 48697 (Why is no real title available?)
• Essential concepts of algebraic specification and program development
• scientific article; zbMATH DE number 4129965 (Why is no real title available?)
• scientific article; zbMATH DE number 1390330 (Why is no real title available?)
• scientific article; zbMATH DE number 6403889 (Why is no real title available?)

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