欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Cisco
来自开放百科 - 灰狐
（版本间的差异）
| 第1行： | 第1行： | ||
| − | |||
==Links== | ==Links== | ||
*http://en.wikipedia.org/wiki/Cisco | *http://en.wikipedia.org/wiki/Cisco | ||
| + | *Cisco Blog: http://www.ciscoblog.com/ | ||
*http://www.cisco.com/web/CN/products/products_netsol/security/index.html | *http://www.cisco.com/web/CN/products/products_netsol/security/index.html | ||
*http://docs.huihoo.com/cisco/ | *http://docs.huihoo.com/cisco/ | ||
2008年12月31日 (三) 03:06的版本
Links
分享您的观点
