scientific article; zbMATH DE number 5722463

MaRDI QIDQ3567780zbMATH OpenFDO

Authors Arto Mutanen

Publication date 17 June 2010

zbMATH Keywords

interrogative modellevels of methodological problemsphilosophical logicphilosophy of science

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logic in the philosophy of science (03A10)

Recommendations

• scientific article; zbMATH DE number 1497767
• Formal methods in computing
• Overview of formal methods
• Formal methods in computer science
• Formal methods in computer technologies
• A formally grounded software specification method
• Formalism and method
• scientific article; zbMATH DE number 1949582
• scientific article; zbMATH DE number 795668

Cited in

(1)

• A formally grounded software specification method

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