欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
介绍了SOA, BPM, Web Services 技术, 以及它们的发展趋势. 这三种技术共同构建了灵动企业的IT环境 : 面向服务的企业(Service-Oriented Enterprise)