欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
普元-EOS(面向构件的中间件)
普元软件(Primeton)公司是面向构件的中间件提供商。普元将互联网、面向构件以及图形化组装等技术结合,创造了“面向构件的中间件-普元EOS”产品,革命性地改变了传统应用软件的结构和开发方式,使用普元EOS可以快速、低成本地生产出高质量、高扩展性的应用软件。