✦ LIBER ✦

The Input Model of Standard Graphics Systems Revisited by Formal Specification

✍ Scribed by Giorgio P. Faconti; Nicola Zani; Fabio Paterno'

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An approach to the formal specification

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

A Formal Specification of a Graphics Sys

✍ D. A. Duce; F. Paterno 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 416 KB

The EEC workshop on formal specification

✍ D.A Duce 📂 Article 📅 1982 🏛 Elsevier Science ⚖ 273 KB

The EEC Workshop on Formal Specification

✍ D A Duce 📂 Article 📅 1982 🏛 John Wiley and Sons 🌐 English ⚖ 245 KB

Design of a formal model for the specifi

✍ Klaus Feldmann; Wolfgang Wolf; Matthias Weber 📂 Article 📅 2007 🏛 Springer-Verlag 🌐 English ⚖ 421 KB

The use of inputs by the Federal Reserve

✍ Stuart Allen; Donald McCrickard; Phillip Cartwright; Charles Delorme 📂 Article 📅 1988 🏛 Springer US 🌐 English ⚖ 505 KB