✦ LIBER ✦

CAD for verified hardware design via category theory

✍ Scribed by Robert Zimmer; Alan MacDonald; Robert Holte

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Kantorovich-type inequalities for operat

✍ Luc Pronzato; Henry P. Wynn; Anatoly Zhigljavsky 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 130 KB

Call for papers — IFIP WG5.2 working con

📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 158 KB