欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Messaging
来自开放百科 - 灰狐
（版本间的差异）
| 第1行： | 第1行： | ||
| − | |||
==相关技术== | ==相关技术== | ||
*[[JMS]] | *[[JMS]] | ||
| − | |||
| − | |||
| − | == | + | |
| + | ==开源项目== | ||
| + | |||
| + | ==商业产品== | ||
| + | *[[WebSphere MQ]] | ||
2006年8月16日 (三) 22:54的版本
相关技术
开源项目
商业产品
分享您的观点
