欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
HP Integrity Servers
来自开放百科 - 灰狐
(版本间的差异)
第1行: | 第1行: | ||
− | [[Image:hp-server_strategy.gif]] HP Servers 发展策略 | + | [[Image:hp-server_strategy.gif]] [http://h71028.www7.hp.com/ERC/cache/49205-0-0-0-121.aspx?bodycontentparams=79556-0-0-0-121&mtxs=home-ent&mtxb=B1&mtxl=L1 HP Servers 发展策略] |
2006年8月19日 (六) 23:33的版本
分享您的观点