欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Development
来自开放百科 - 灰狐
(版本间的差异)
| 第1行: | 第1行: | ||
涉及开发工具, 软件生命周期工具. | 涉及开发工具, 软件生命周期工具. | ||
| + | |||
| + | Google 的工程师干活最常用是 VIM、Emacs 和 Eclipse。用 VIM 或 Emacs 的人占多数,用 Eclipse 人较少。 | ||
2006年8月19日 (六) 10:22的版本
涉及开发工具, 软件生命周期工具.
Google 的工程师干活最常用是 VIM、Emacs 和 Eclipse。用 VIM 或 Emacs 的人占多数,用 Eclipse 人较少。
分享您的观点