𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On computable formal concepts in computable formal contexts

✍ Scribed by A. S. Morozov; M. A. L’vova


Publisher
SP MAIK Nauka/Interperiodica
Year
2007
Tongue
English
Weight
163 KB
Volume
48
Category
Article
ISSN
0037-4466

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Formal methods in computer system design
✍ C.A.R. Hoare 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 501 KB

This note expounds a philosophy of engineering design which is stimulated, guided and checked by mathematical calculations and proofs. Its application to software engineering promises the same benefits as those derived from the use of mathematics in all other branches of modem science.