欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
IONA SOA
来自开放百科 - 灰狐
IONA SOA Solutions: Migrate to SOA to meet business goals. Think Big. Start Small. Scale Fast.
http://www.iona.com/solutions/soa/
IONA Artix - Advanced SOA Infrastructure Suite
IONA FUSE - Open Source SOA Suite
分享您的观点
