✦ LIBER ✦

Formal specification and construction techniques for the development of programs with guaranteed properties

✍ Scribed by H. Brix

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Using Computer Algebra techniques for th

✍ Nikolaj Popov; Tudor Jebelean 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 130 KB

A conceptual framework for the developme

✍ LuAnn Ricketts Gaskill 📂 Article 📅 1993 🏛 SAGE Publications 🌐 English ⚖ 728 KB

A formal approach based on UML and B for

✍ Amel Mammar; Régine Laleau 📂 Article 📅 2006 🏛 Springer US 🌐 English ⚖ 472 KB

Construction of the creep equations for

✍ B. V. Gorev; V. V. Rubanov; O. V. Sosnin 📂 Article 📅 1980 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 564 KB

Development of a modified subtraction hy

✍ Lars Wassill; Wolfgang Ludwig; Karl Heinz Schleifer 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 250 KB

ChemInform Abstract: Enantioselective Fo

✍ Chun-Li Cao; Xiu-Li Sun; Yan-Biao Kang; Yong Tang 📂 Article 📅 2008 🏛 John Wiley and Sons ⚖ 45 KB 👁 2 views