✦ LIBER ✦

A Logic-based Framework for Software Construction

✍ Scribed by Jazaa, Abid

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A logical framework for knowledge base m

✍ Wei Li 📂 Article 📅 1995 🏛 Springer 🌐 English ⚖ 667 KB

Formal compiler construction in a logica

✍ Jason Hickey; Aleksey Nogin 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 829 KB

A Measurement-Based Framework for Softwa

✍ Karama Kanoun 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 124 KB

A Pattern-Based Framework for Software A

✍ S.C. Kothari; Luke Bishop; Jeremias Sauceda; Gary Daugherty 📂 Article 📅 2004 🏛 Springer US 🌐 English ⚖ 217 KB

A knowledge-based framework for construc

✍ Russell, Alan D.; Al-Hammad, Ibrahim 📂 Article 📅 1993 🏛 NRC Research Press 🌐 English ⚖ 699 KB

A logic-based framework for address inte

✍ Luis G. Occeña; Liang-Cheng Tang 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 927 KB