scientific article; zbMATH DE number 3637260
From MaRDI portal
Publication:4197320
zbMATH Open0409.68003MaRDI QIDQ4197320
No author found.
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Program TransformationsProgram DevelopmentProgram SpecificationWide Spectrum LanguageSpecification Language
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items (3)
A strange sorting method inspired by formal differentiation ⋮ Formal system of definition of data sets as a high-level tool of data extraction ⋮ Methodical solution of the problem of ascending subsequences of maximum length within a given sequence
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 Q4197320)
