scientific article; zbMATH DE number 2242323

MaRDI QIDQ5714286zbMATH OpenFDO

Authors Bruce Mills

Publication date 29 December 2005

zbMATH Keywords

formal technologiesmodels of computationprogramming language

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) General topics in the theory of software (68N01) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)

Recommendations

• scientific article; zbMATH DE number 609129
• scientific article; zbMATH DE number 41231
• Publication:4937016
• scientific article; zbMATH DE number 45099
• Thinking programs. Logical modeling and reasoning about languages, data, computations, and executions

Cited in

(3)

• Mapcode characterization of partial recursive maps
• The software side of computer science -- computer programming
• The Debugger's handbook

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