✦ LIBER ✦

Formal specification languages

✍ Scribed by Parker, John; Titterington, Graham

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Specification languages

✍ Blackledge, Peter 📂 Article 📅 1983 🏛 The Institution of Electrical Engineers ⚖ 591 KB

Specification languages

✍ Peter Schnupp 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 579 KB

Formal specification

📂 Article 📅 1988 🏛 Elsevier Science ⚖ 104 KB

Facilitating formal specification acquis

✍ Haiming Chen; Yunmei Dong 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 304 KB

Formal specification techniques

📂 Article 📅 1987 🏛 Elsevier Science ⚖ 69 KB

Formal specification of programming lang

📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 160 KB