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