✦ LIBER ✦

From families to formal contracts: An approach to development

✍ Scribed by Krishna B. Kumar; John G. Matsusaka

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A formal approach to negotiating agents

✍ Marlon Dumas; Guido Governatori; Arthur H.M. ter Hofstede; Phillipa Oaks 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 476 KB

An approach to the formalization of clas

✍ A. A. Dorodnitsyn; M. F. Kaspshitskaya; I. V. Sergienko 📂 Article 📅 1977 🏛 Springer US 🌐 English ⚖ 889 KB

An Algebraic Approach to Formal Verifica

✍ Kanji Hirabayashi 📂 Article 📅 2001 🏛 Springer US 🌐 English ⚖ 36 KB

PREMO - An Initial Approach to a Formal

✍ D.A. DUCE; D.J. DUKE; P.J.W. ten HAGEN; G.J. REYNOLDS 📂 Article 📅 1994 🏛 John Wiley and Sons 🌐 English ⚖ 261 KB

An Approach to Formal Specification of C

✍ Leung, W.H.; Ramamoorthy, C.V. 📂 Article 📅 1980 🏛 IEEE 🌐 English ⚖ 1024 KB

An approach to the study of multistate i

✍ Joanna Dȩbicka 📂 Article 📅 2012 🏛 John Wiley and Sons 🌐 English ⚖ 855 KB