高级软件工程-形式化开发方法之Z方法

[{"title":"（ 15 个子文件 28.69MB ） 高级软件工程-形式化开发方法之Z方法","children":[{"title":"软件开发中的形式化方法.pdf <span style='color:#111;'> 38.66KB </span>","children":null,"spread":false},{"title":"undefined(1). <span style='color:#111;'> 25.12KB </span>","children":null,"spread":false},{"title":"undefined(2). <span style='color:#111;'> 23.54KB </span>","children":null,"spread":false},{"title":"高级软件工程(第5章：形式化开发方法_1).ppt <span style='color:#111;'> 1.35MB </span>","children":null,"spread":false},{"title":"第1章软件开发方法(二)软件工程.pptx <span style='color:#111;'> 714.19KB </span>","children":null,"spread":false},{"title":"第二章 软件开发方法概述.ppt <span style='color:#111;'> 664.50KB </span>","children":null,"spread":false},{"title":"undefined(3). <span style='color:#111;'> 314.00KB </span>","children":null,"spread":false},{"title":"高级软件工程(第二章)软件开发过程与开发方法 (2017课件).ppt <span style='color:#111;'> 269.50KB </span>","children":null,"spread":false},{"title":"高级软件工程--形式化开发方法之Z方法.pdf <span style='color:#111;'> 7.42MB </span>","children":null,"spread":false},{"title":"undefined(4). <span style='color:#111;'> 4.09MB </span>","children":null,"spread":false},{"title":"软件形式化方法第1章 绪论.ppt <span style='color:#111;'> 3.64MB </span>","children":null,"spread":false},{"title":"第3章 软件系统开发方法.ppt <span style='color:#111;'> 518.50KB </span>","children":null,"spread":false},{"title":"形式化方法与软件开发.pptx <span style='color:#111;'> 2.98MB </span>","children":null,"spread":false},{"title":"高级软件工程(第2章：软件过程).ppt <span style='color:#111;'> 6.68MB </span>","children":null,"spread":false},{"title":"undefined. <span style='color:#111;'> 20.00KB </span>","children":null,"spread":false}],"spread":true}]