scientific article; zbMATH DE number 4193096

zbMATH Open0723.68023MaRDI QIDQ3210885FDOQ3210885

Authors: Á. Fóthi 

Publication date: 1988

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

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

zbMATH Keywords

education of programmingmathematical foundation of programmingteachers programming

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Cited In (8)

• A unified approach of program verification
• In code. A mathematical journey.
• The joy of formula manipulation
• On the relationship between foundations of programming and mathematics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)