q63180
这家伙很懒，什么也没写
软件工程语言Z.pdf
软件工程中的形式化方法是一种基于数学的软件开发方法，它可应用于软件工程的各个阶段。Z本身是一个书写规格说明的语言，或者说是一种表示法，它是目前人们非常感兴趣的一种规格说明方法。它是由著名计算机科学家Hoare所在的牛津大学程序设计研究组（PRG）的学者在80年代初设计开发的。
专业指导 25 0 PDF 2020-05-17 20:05:34
Cfree4破解软件
C-free4的专业版破解文件专业版下载官方地址：http://www.programarts.com/cfree_ch/index.htmC-Free是一款支持多种编译器的专业化C/C++集成开发环境（IDE）。利用本软件，使用者可以轻松地编辑、编译、连接、运行、调试C/C++程序。C-Free4
C 40 0 exe 2019-10-17 20:10:59