✦ LIBER ✦

The weakest precondition calculus: Recursion and duality

✍ Scribed by Marcello M. Bonsangue; Joost N. Kok

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

General parameterised refinement and rec

✍ Raymond Devillers; Hanna Klaudel; Robert-C Riemann 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 736 KB

A duality principle for non-convex optim

✍ J. F. Toland 📂 Article 📅 1979 🏛 Springer 🌐 English ⚖ 807 KB

From Stochastic Calculus to Mathematical

✍ Kabanov, Yuri; Liptser, Robert; Stoyanov, Jordan 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 255 KB

[IEEE 2007 International Multi-Conferenc

✍ Jiao, Decai; Sinclair, David 📂 Article 📅 2007 🏛 IEEE ⚖ 186 KB