欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
开放大学
来自开放百科 - 灰狐
开放大学
目录 |
简介
一座没有围墙的自由大学,倡导终身学习、终身教育。
功能
文档
图集
链接
- Open University The world's leading distance-learning provider
分享您的观点