欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
BlueCove
来自开放百科 - 灰狐
（版本间的差异）
(以内容'{{top news}} right BlueCove: 一个开源的蓝牙 Java 库，实现了JSR-82规范。 <gallery> Imgage:bluecove-stack.png <...'创建新页面) |
|||
| 第5行： | 第5行： | ||
<gallery> | <gallery> | ||
| − | + | Image:bluecove-stack.png | |
</gallery> | </gallery> | ||
2010年10月1日 (五) 06:36的最后版本
BlueCove: 一个开源的蓝牙 Java 库，实现了JSR-82规范。
[编辑] 链接
分享您的观点
