✦ LIBER ✦

Formal Specification in the Revision of GKS: An Illustrative Example

✍ Scribed by D.A. Duce; L.B. Damnjanovic

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Specification and Implementation of

✍ M Mac an Airchinnigh 📂 Article 📅 1984 🏛 John Wiley and Sons 🌐 English ⚖ 890 KB

A New Specification of Labour Supply in

✍ Peter B. Dixon; Maureen T. Rimmer 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 138 KB

The use of standard software in real tim

✍ W Fritz; V Haase; R Kalcher 📂 Article 📅 1988 🏛 Elsevier Science ⚖ 892 KB

Mapping the strategic thinking of public

✍ Peggy Simcic Brønn; Erik L. Olson 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 130 KB

The questionable value of some science-b

✍ MP Caulfield; H Cambridge 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 108 KB

Integration in the GHP Formalism III: Fi

✍ S. Brian Edgar; Garry Ludwig 📂 Article 📅 1997 🏛 Springer US 🌐 English ⚖ 267 KB