桂林山水在广西哪里:求助：关于软件工程的Z语言和B-Toolkit的问题

来源：百度文库编辑：中科新闻网时间：2024/05/20 14:55:45

我知道是形式化方法，用一些非常抽象的形式化表示法来表示程序的数据类型、结构和操作，但是对它们还是缺乏一个系统详细的认识，

有没有哪位比较了解的能够给一些资料，书目，网站资源什么的，谢谢了

求助: 关于软件工程的Z语言和B－Toolkit的问题求助：关于软件工程的Z语言和B－Toolkit的问题求助：关于软件工程的Z语言和B-Toolkit的问题求助: 关于软件工程的Z语言和B-Toolkit的问题软件工程的实践应该从何做起？（以一定语言基础和软件工程知识）求助关于北航软件工程硕士！关于网络工程和软件工程求助林锐软件工程思想的出版社和出版时间关于b'z的新专辑中，无言的promise 关于软件工程的前景