欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Symbian
来自开放百科 - 灰狐
Tools
Projects
Links
- Symbian平台介绍
- Symbian OS Wikipedia
- S60 Platform Wikipedia
- 智能手机大趋势：Symbian后继有人
- symbianresources.com - free Symbian OS tutorials, workshops, exercises, course materials and open source projects
分享您的观点
