欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
BEA Systems
platform & Server 9.X portal & workshop 9.2正式版 http://download2.bea.com/pub/platform/92/portal920_win32.exe
portal & workshop 9.2
http://download2.bea.com/pub/platform/92/portal92beta_win32.exe
英文版 http://download2.bea.com/pub/platform/90/server900_win32.exe http://download2.bea.com/pub/platform/90/server900_linux32.bin 中文版 http://download2.bea.com/pub/platform/91/server910_zh_CN_win32.exe http://download2.bea.com/pub/platform/90/server900_zh_CN_win32.exe http://download2.bea.com/pub/platform/90/server900_zh_CN_hpux32.bin (hp_uxix http://download2.bea.com/pub/platform/90/server900_zh_CN_solaris32.bin (Solaris(8\9\10)版) http://download2.bea.com/pub/platform/91/server910_win32.exe http://download2.bea.com/pub/platform/91/server910_linux32.bin (linux) http://download2.bea.com/pub/platform/91/server910_hpux32.bin (hpux) http://download2.bea.com/pub/platform/91/server910_solaris32.bin (solaris)
8.X 英文版 http://download2.bea.com/pub/platform/81/platform816_win32.exe( 8.1 SP6 6月29日) http://download2.bea.com/pub/platform/81/platform815_win32.exe http://download2.bea.com/pub/platform/81/platform815_linux32.bin (linux) 中文版 http://download2.bea.com/pub/platform/81/platform812_zh_CN_win32.exe http://download2.bea.com/pub/platform/81/platform814_zh_CN_win32.exe http://download2.bea.com/pub/platform/81/platform815_zh_CN_win32.exe http://download2.bea.com/pub/platform/81/platform815_zh_CN_hpux32.bin (hp_unix) 7.X Weblogic platform 7.0 + SP7 http://download2.bea.com/pub/platform/platform707_win32.exe Weblogic server7.0 + SP7 http://download2.bea.com/pub/platform/server707_win32.exe
相关下载 - http://dev2dev.bea.com.cn/bbs/thread.jspa?forumID=81&threadID=28193&tstart=0