scientific article

zbMATH Open0681.68014MaRDI QIDQ3994366FDOQ3994366

Ulrich Lindner, Rainer Trautloft

Publication date: 17 September 1992

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

Recommendations

• scientific article
• scientific article; zbMATH DE number 4050933
• scientific article; zbMATH DE number 194527
• scientific article; zbMATH DE number 194526

zbMATH Keywords

abstract data typesstepwise refinementPascalModula-2program developmentstructured programmingSoftware developmentFortran-77, PL/I

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of software (68N99)

Cited In (2)

• Title not available (Why is that?)
• Title not available (Why is that?)

Uses Software

• Modula
• PL/I

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