✦ LIBER ✦

Contents EATCS bulletin number 58, February 1996

No coin nor oath required. For personal study only.

✦ Synopsis

Logical and Operational Methods in the Analysis of Programs and Systems (LOMAPS)

📜 SIMILAR VOLUMES

Contents EATCS bulletin number 49, Febru

📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 290 KB

Contents EATCS Bulletin number 61, Febru

📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 232 KB

Contents EATCS bulletin number 64, Febru

📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 264 KB

Contents EATCS bulletin number 59, June

📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 234 KB

Contents EATCS bulletin Number 60, Octob

📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 228 KB

Contents EATCS bulletin number 65, 1998

📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 169 KB