✦ LIBER ✦

A Formal Approach to the Specification of Graphic Object Functions

✍ Scribed by J.C. Torres; B. Clares

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 Object Approach to the Design o

✍ Jing Sun; Jin Song Dong; Jing Liu; Hai Wang 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 258 KB

A formal approach to perfective software

✍ David Rine 📂 Article 📅 1992 🏛 Springer 🌐 English ⚖ 734 KB

A Formal Specification of a Graphics Sys

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

[Lecture Notes in Computer Science] Veri

✍ Beckert, Bernhard; Hähnle, Reiner; Schmitt, Peter H. 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 500 KB

A formal approach to the specification a

✍ Ammar Attoui; Michel Schneider 📂 Article 📅 1996 🏛 Springer US 🌐 English ⚖ 956 KB