欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Java SE 就是Java的标准版，主要用于桌面应用软件的编程；Java SE 开发桌面应用软件比起VC,VB,DEPHI这些传统开发语言来说，优势好象并不明显。
本分类尚未包含任何页面或媒体文件。
