Practical Formal Software Engineering

DOI10.1017/CBO9780511813290MaRDI QIDQ3619420zbMATH OpenOpenAlexFDO

Authors Bruce Mills

Publication date 6 April 2009

Full work available at URL https://doi.org/10.1017/cbo9780511813290

zbMATH Keywords

construction of a game engineformal software engineering

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of programming languages (68N15) Theory of software (68N99)

Recommendations

• scientific article; zbMATH DE number 2107183
• scientific article; zbMATH DE number 1460531
• Mathematical approaches to software quality.
• Modelling Systems
• scientific article; zbMATH DE number 108409

Cited in

(2)

• scientific article; zbMATH DE number 2107183 (Why is no real title available?)
• A concise introduction to software engineering

This page was built for publication: Practical Formal Software Engineering

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3619420)