✦ LIBER ✦

A note on specifications

✍ Scribed by Sheldon Goldstein

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Note on Public Input Specifications

✍ Carsten Colombier; Michael Pickhardt 📂 Article 📅 2005 🏛 Springer US 🌐 English ⚖ 160 KB

A note on knowledge-based programs and s

✍ Joseph Y. Halpern 📂 Article 📅 2000 🏛 Springer-Verlag 🌐 English ⚖ 131 KB

Notes on algebraic specifications

✍ I.M. Bradley 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 685 KB

A note on the verification of automata s

✍ Arnaldo V. Moura; Guilherme A. Pinto 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 95 KB

A note on a specification test of indepe

✍ Holger Dette; Natalie Neumeyer 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 100 KB

A note concerning specifications of inte

✍ Joseph P. Gatto; Harry H. Kelejian; Scott W. Stephan 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 708 KB