scientific article; zbMATH DE number 910714

MaRDI QIDQ4885872zbMATHFDO

Authors Tony Hoare

Publication date 29 October 1997

zbMATH Keywords

normal formsconcurrencygranularityspecificationconjunctionpredicates

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 970745
• A practical theory of programming
• scientific article; zbMATH DE number 194642
• Theories of programming. The life and works of Tony Hoare

Cited in

(5)

• Mathematics, Models and Architectures
• scientific article; zbMATH DE number 5299206 (Why is no real title available?)
• Theories of programming. The life and works of Tony Hoare
• scientific article; zbMATH DE number 972118 (Why is no real title available?)
• Mathematical model of stored logic based computation

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