P

PMOS by Peter Moylan

🌐 访问网站
📝 网站描述
PMOS is a large library of Modula-2 modules, distributed in source form. Its primary purpose is to make it easy to write multitasking programs for real-time and/or embedded applications.
📢 本广告位招租 CNY 80.00 / 30 天 · 我要投放 →
📢 本广告位招租 CNY 80.00 / 30 天 · 我要投放 →
⭐ 用户评价

暂无评价


发表评价
📞 联系方式
👁️ 95 次浏览 📥 外站引荐 0 ❤️ 0 人收藏
✉️ 发送咨询
📢 本广告位招租 CNY 120.00 / 30 天 · 我要投放 →
💳 立即购买

无需登录:填提交收录时的邮箱即可购买

📤 分享
Facebook Twitter WhatsApp Email 📩 告诉朋友
扫码用手机打开本页
🚩 举报此条目 📋 认领此条目

🔗 相关条目
CÆSAR Code Package
http://www.lanl.gov/Caesar/
👍 0 详情 链接
From ACT-ONE to Miranda, a Translation Experiment
http://www.cs.kent.ac.uk/pubs/1997/213/
👍 0 详情 链接
Miranda in Isabelle
http://www.cs.kent.ac.uk/pubs/1995/209/
👍 0 详情 链接
A Logic for Miranda, Revisited
http://www.cs.kent.ac.uk/pubs/1995/63/
👍 0 详情 链接