Logic versus magic in critical systems

DOI10.1007/3-540-45136-6_4MaRDI QIDQ2771718zbMATH OpenFDO

Authors Peter Amey

Publication date 12 March 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45136-6_4

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) General topics in the theory of software (68N01) Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Recommendations

• On the role of logic and algebra in software engineering
• scientific article; zbMATH DE number 517336
• scientific article; zbMATH DE number 52955
• scientific article; zbMATH DE number 2017338
• scientific article; zbMATH DE number 194535

This page was built for publication: Logic versus magic in critical systems

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