scientific article; zbMATH DE number 193753

MaRDI QIDQ4040555zbMATH OpenFDO

Authors N. I. V'yukova, V. A. Galatenko, A. B. Khodulëv

Publication date 5 June 1993

zbMATH Keywords

algorithm analysismathematical analysis of programsPASCALprogram correctness proofprogram developmentstepwise refinement

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in the theory of software (68N01) Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(5)

• scientific article; zbMATH DE number 3854386 (Why is no real title available?)
• scientific article; zbMATH DE number 3972153 (Why is no real title available?)
• Systematic program development
• scientific article; zbMATH DE number 4058814 (Why is no real title available?)
• scientific article; zbMATH DE number 193157 (Why is no real title available?)

Describes a project that uses

Uses Software

• Turbo Pascal

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