scientific article; zbMATH DE number 3854376

MaRDI QIDQ3323223zbMATH OpenFDO

Authors H. Waldschmidt, Hermann K.-G. Walter

Publication date 1984

zbMATH Keywords

algorithmscoding theorycomputer sciencePascalverification

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01)

Recommendations

• Einführung in die Informatik. Algorithmenentwicklung. (Introduction into computer science. Development of algorithms.)
• scientific article; zbMATH DE number 568599
• scientific article; zbMATH DE number 192978
• scientific article; zbMATH DE number 1042201
• scientific article; zbMATH DE number 49394

Cited in

(4)

• Einführung in die Informatik. Algorithmenentwicklung. (Introduction into computer science. Development of algorithms.)
• scientific article; zbMATH DE number 3980449 (Why is no real title available?)
• scientific article; zbMATH DE number 42689 (Why is no real title available?)
• scientific article; zbMATH DE number 192978 (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 Q3323223)