scientific article

zbMATH Open0826.68033MaRDI QIDQ4003444

Gill Slater, Allan Norcliffe

Publication date: 18 September 1992

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

zbMATH Keywords

software development processspecification language Z

Mathematics Subject Classification ID

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

Related Items (1)

Mathematics and Software Verification

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• The mathematical construction of a program 👍 👎
• On developing mathematical software 👍 👎
• Constructive mathematics and computer programming 👍 👎
• Software Engineering for Mathematics 👍 👎
• Constructive Mathematics in Theory and Programming Practice 👍 👎
• Mathematics and Software Verification 👍 👎

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