欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
HP-UX
来自开放百科 - 灰狐
HP-UX 11i - Value leadership for enterprise UNIX
相关链接
- HP-UX 11i http://h20338.www2.hp.com/hpux11i/cache/324545-0-0-0-121.html
- OpenVMS http://h71000.www7.hp.com/
- NonStop http://h20223.www2.hp.com/nonstopcomputing/cache/76385-0-0-0-121.aspx
- Tru64 UNIX http://h18002.www1.hp.com/alphaserver/
- HP-UX 11i v1.5 中文文档 http://docs.hp.com/zh_cn/hpux11iv1.5.html
分享您的观点
