✦ LIBER ✦

A distributed specification model and its prototyping

✍ Scribed by Wang, Y.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A prototype compartmental model of blood

✍ M.U. Akhmet; G.A. Bekmukhambetova 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 567 KB

Algebraic specification and proof of a d

✍ He Jifeng; C. A. R. Hoare 📂 Article 📅 1987 🏛 Springer-Verlag 🌐 English ⚖ 894 KB

PRACTITIONER'S CORNER: Dynamic Specifica

✍ Anindya Banerjee; John W. Galbraith; Juan Dolado 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 104 KB

Shape Representation and Interoperabilit

✍ J.Y. Lee 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 528 KB

Kidney Specific Antigen and its Species

✍ NAIRN, R. C.; GHOSE, T.; FOTHERGILL, J. E.; McENTEGART, M. G. 📂 Article 📅 1962 🏛 Nature Publishing Group 🌐 English ⚖ 290 KB

Domain–Specific High–Level Modeling and

✍ Mike Tien-Chien Lee; Yu-Chin Hsu; Ben Chen; Masahiro Fujita 📂 Article 📅 1997 🏛 Springer US 🌐 English ⚖ 205 KB