欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Mach
来自开放百科 - 灰狐
（版本间的差异）
| 第1行： | 第1行： | ||
| − | |||
==相关链接== | ==相关链接== | ||
| + | *Mach 3.0 Sources - http://www.cs.cmu.edu/afs/cs/project/mach/public/www/sources/sources_top.html | ||
*Mach - http://www.cs.cmu.edu/afs/cs/project/mach/public/www/mach.html | *Mach - http://www.cs.cmu.edu/afs/cs/project/mach/public/www/mach.html | ||
*The Mach 4 Project - http://www.cs.utah.edu/flux/mach4/html/Mach4-proj.html | *The Mach 4 Project - http://www.cs.utah.edu/flux/mach4/html/Mach4-proj.html | ||
*GNU Mach - http://www.gnu.org/software/hurd/gnumach.html | *GNU Mach - http://www.gnu.org/software/hurd/gnumach.html | ||
2007年3月12日 (一) 17:02的版本
相关链接
- Mach 3.0 Sources - http://www.cs.cmu.edu/afs/cs/project/mach/public/www/sources/sources_top.html
- Mach - http://www.cs.cmu.edu/afs/cs/project/mach/public/www/mach.html
- The Mach 4 Project - http://www.cs.utah.edu/flux/mach4/html/Mach4-proj.html
- GNU Mach - http://www.gnu.org/software/hurd/gnumach.html
分享您的观点
