✦ LIBER ✦

Better Understanding through Formal Specification

✍ Scribed by D. A. Duce; E. V. C. Fielding

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Software monitoring through formal speci

✍ Hui Liang; Jin Song Dong; Jing Sun; W. Eric Wong 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 660 KB

Understanding and exploring formal speci

✍ Jawed Siddiqi; Ian Morrey; Richard Hibberd; Graham Buckberry 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 796 KB

Formal Specification and Enactment of Se

✍ Andrea Omicini; Alessandro Ricci; Mirko Viroli 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 201 KB

A better understanding of health issues

✍ Ann W. Sorenson 📂 Article 📅 2001 🏛 SP Birkhäuser Verlag Basel 🌐 English ⚖ 289 KB

Gaining a better understanding of your t

✍ Rogers, Dwight ;Mermin, Joy ;Jenne, Mary 📂 Article 📅 1991 🏛 Springer-Verlag ⚖ 961 KB

Making formal specifications accessible

✍ J.E. Cooling; T.S. Hughes 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 654 KB