01形式方法和软件工程LNCS-…
02生成式及基于组件的软件工…
03对象模型化与OCL：在对象…
04异常处理技术进展（异常处…
05系统可靠性：软件、计算、…
06软件简史（上下册）
07软件测试的形式方法 FATE…
08Istio权威指南：云原生服…
09软件文化基础（第二版）
10AIGC革命：Web 3.0时代的…
鄂公网安备 42010302001612号 