✦ LIBER ✦

Algebraic models of correctness for abstract pipelines

✍ Scribed by A.J.C. Fox; N.A. Harman

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Algebraic Models of Correctness for Micr

✍ A. C. J. Fox; N. A. Harman 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 151 KB

Correctness of Algebraic Extensions of M

✍ M.B. Aidarkhanov; E.N. Amirgaliev; L.L. La 📂 Article 📅 2001 🏛 Springer US 🌐 English ⚖ 43 KB

Algebraic models of behaviour and correc

✍ N.A. Harman 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 313 KB

Correctness criteria for algebraic closu

✍ A. G. D’yakonov 📂 Article 📅 2008 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 165 KB

Structuredness and its significance for

✍ Ralf Laue; Jan Mendling 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 469 KB

Algebras for correctness of sequential c

✍ Guttmann, Walter 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 345 KB