scientific article; zbMATH DE number 4052988

MaRDI QIDQ3789046zbMATH OpenFDO

Authors Alexandre Dikovsky

Publication date 1987

zbMATH Keywords

algorithmic problems of analysis and synthesis of modelsmodels of computingrecursive program schemes

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(9)

• Structural models of algorithms in problems of applied programming. II: Structural-algorithmic approach to software simulation
• Structural analysis and synthesis of route schemes for macro mining problems
• The sequence modeling method based on ECC in developing program specifications
• Synthesis-analysis of derivation sequences of tables' functional dependences
• scientific article; zbMATH DE number 5827855 (Why is no real title available?)
• scientific article; zbMATH DE number 4203709 (Why is no real title available?)
• scientific article; zbMATH DE number 3932375 (Why is no real title available?)
• scientific article; zbMATH DE number 4035102 (Why is no real title available?)
• Composing model programs for analysis

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