欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Java ME：Java Micro Edition 的简写，简单的讲是Sun公司为了把Java应用于移动通讯设备、嵌入式设备或消费性电器而推出的一项技术J2ME包括虚拟机、针对设备的API库、针对设备的配置和框架定义(Configuration & Profile)等。
本分类尚未包含任何页面或媒体文件。
