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