𝔖 Bobbio Scriptorium

✦ LIBER ✦

Empirical and formal language design applied to a unified control construct for interactive computing

✍ Scribed by David W. Embley

Book ID: 108332329
Publisher: Elsevier Science
Year: 1978
Weight: 1009 KB
Volume: 10
Category: Article
ISSN: 0020-7373
DOI: 10.1016/s0020-7373(78)80012-1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Tool

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1217 || A tool to support formal reasoning about computer languages

✍ Brinksma, Ed 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 918 KB