✦ LIBER ✦

[Texts in Computer Science] Specification of Software Systems || Classification of Formal Specification Methods

✍ Scribed by Alagar, V.S.; Periyasamy, K.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Texts in Computer Science] Specificatio

✍ Alagar, V.S.; Periyasamy, K. 📂 Article 📅 2011 🏛 Springer London ⚖ 150 KB

[Texts in Computer Science] Specificatio

✍ Alagar, V.S.; Periyasamy, K. 📂 Article 📅 2011 🏛 Springer London ⚖ 467 KB

Using software specification methods for

✍ L Finkelstein; J Huang; A.C.W Finkelstein; B Nuseibeh 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 463 KB

[Lecture Notes in Computer Science] Form

✍ Hunt, Warren A.; Johnson, Steven D. 📂 Article 📅 2000 🏛 Springer Berlin Heidelberg ⚖ 315 KB

An approach to the formal specification

✍ George S. Carson 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 653 KB

Formal specification and verification of

✍ Jeffrey J Joyce 📂 Article 📅 1988 🏛 Elsevier Science ⚖ 926 KB