scientific article; zbMATH DE number 139995

zbMATH Open0760.68020MaRDI QIDQ4028356FDOQ4028356

Authors: Alan P. French, G. P. McKeown, V. J. Rayward-Smith 

Publication date: 28 March 1993

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

Recommendations

• scientific article; zbMATH DE number 1517029
• Some elements of \(Z\) specification style: Structuring techniques
• scientific article; zbMATH DE number 5015278
• scientific article; zbMATH DE number 1706328
• scientific article; zbMATH DE number 1487549

zbMATH Keywords

formal specificationoperations research problems

Mathematics Subject Classification ID

Theory of software (68N99)

Cited In (1)

• 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 Q4028356)