scientific article; zbMATH DE number 910714

zbMATH Open0873.68056MaRDI QIDQ4885872FDOQ4885872

Authors: Tony Hoare 

Publication date: 29 October 1997

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

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

zbMATH Keywords

normal formsconcurrencygranularityspecificationconjunctionpredicates

Mathematics Subject Classification ID

Cited In (4)

• Title not available (Why is that?)
• Mathematical model of stored logic based computation
• Mathematics, Models and Architectures
• 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 Q4885872)