欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Stone Jiang
提供ACE,TAO,DDS技术支持有培训服务.欢迎和我联系
TAO工作室
价值观 - 面向对象思想 - 泛型编程思想 - 中间件思想
软件工程 - 统一过程 - 敏捷开发 -
开发技巧 - 开发技巧
开发语言 - 集成开发环境 - Makefile
C - C++ - Java - Perl - lisp - Python Visual Studio - VC GNU - gcc - gdb TeX - TexLive2011 UML - Rational Rose - StarUML
<discussion>characters_max=300</discussion>