广西山水麻将(正版):求助: 关于软件工程的Z语言和B－Toolkit的问题

来源：百度文库 编辑：中科新闻网 时间：2024/05/09 14:54:31
我知道是形式化方法，用一些非常抽象的形式化表示法来表示程序的数据类型、结构和操作，但是对它们还是缺乏一个系统详细的认识，

有没有哪位比较了解的能够给一些资料，书目，网站资源什么的，谢谢了
求助: 关于软件工程的Z语言和B－Toolkit的问题 求助：关于软件工程的Z语言和B－Toolkit的问题 求助：关于软件工程的Z语言和B-Toolkit的问题 求助: 关于软件工程的Z语言和B-Toolkit的问题 软件工程的实践应该从何做起？（以一定语言基础和软件工程知识） 求助 关于北航软件工程硕士！ 关于网络工程和软件工程 求助 林锐 软件工程思想的 出版社和出版时间 too much和much too的区别 much too和TOO MUCH 的区别