✦ LIBER ✦

A Formal Description of the NOVA 800 Computer in Computer Design Language

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Electrical circuit description in the fo

✍ Taku Noda 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 127 KB

[Lecture Notes in Computer Science] Form

✍ Hunt, Warren A.; Johnson, Steven D. 📂 Article 📅 2000 🏛 Springer Berlin Heidelberg ⚖ 315 KB

[Lecture Notes in Computer Science] Inte

✍ Boiten, Eerke A.; Derrick, John; Smith, Graeme 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 422 KB

[IEEE 2006 Formal Methods in Computer Ai

✍ Moinudeen, Haja; Habibi, Ali; Tahar, Sofiene 📂 Article 📅 2006 🏛 IEEE 🌐 English ⚖ 88 KB

The 10th International Conference on For

📂 Article 📅 2010 🏛 Institute of Electrical and Electronics Engineers 🌐 English ⚖ 128 KB

A formal approach to the analysis of cli

✍ M. Adela Grando; David Glasspool; John Fox 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 948 KB