𝔖 Bobbio Scriptorium

✦ LIBER ✦

Program verification and Ada: McGettrick, A DIEE Proc.-E Comput. Dig. Techn. Vol 129 No 2 (March 1982) pp 55–62

Book ID: 103530401
Publisher: Elsevier Science
Year: 1982
Tongue: English
Weight: 115 KB
Volume: 6
Category: Article
ISSN: 0141-9331
DOI: 10.1016/0141-9331(82)90512-9

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Specifying and implementing object manag

Specifying and implementing object managers in Ada: Harwood, W TIEE Proc.-E Comput. Dig. Techn. Vol 129 No 2 (March 1982) pp 70–74

📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 115 KB

Axioms and proof rules for Ada tasks: Ba

Axioms and proof rules for Ada tasks: Barringer, H and Mearns, IIEE Proc.-E Comput. Dig. Techn. Vol 129 No 2 (March 1982) pp 38–48

📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 115 KB

Ada model arithemetic: costs and benefit

Ada model arithemetic: costs and benefits: Wallis, P J LIEE Proc.-E Comput. Dig. Tech. Vol 129 No 2 (March 1982) pp 75–80

📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 235 KB

Ada package specifications: path express

Ada package specifications: path expressions and monitors: Goldsack, S J and Moreton, TIEE Proc.-E Comput. Dig. Tech. Vol 129 No 2 (March 1982) pp 49–54

📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 115 KB

Structure and tasking features of the pr

Structure and tasking features of the programming language Marlet: Grimsdale, R L, Halsall, F, Martin-Polo, F and Wong, SIEE Proc.-E Comput. Des. Techn. Vol 129 No 2 (March 1982) pp 63–69

📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 115 KB