scientific article; zbMATH DE number 4193096

MaRDI QIDQ3210885zbMATHFDO

Authors Á. Fóthi

Publication date 1988

zbMATH Keywords

education of programmingmathematical foundation of programmingteachers programming

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• On the relationship between foundations of programming and mathematics
• scientific article; zbMATH DE number 3982493
• Publication:4937016
• scientific article; zbMATH DE number 1286485
• Proving and programming

Cited in

(8)

• On the relationship between foundations of programming and mathematics
• A unified approach of program verification
• In code. A mathematical journey.
• scientific article; zbMATH DE number 622677 (Why is no real title available?)
• scientific article; zbMATH DE number 3982493 (Why is no real title available?)
• scientific article; zbMATH DE number 48697 (Why is no real title available?)
• scientific article; zbMATH DE number 3911699 (Why is no real title available?)
• The joy of formula manipulation

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