中科新闻网
山水广西麻将正版官网:求助:关于软件工程的Z语言和B-Toolkit的问题
来源:百度文库 编辑:
中科新闻网
时间:2024/10/04 04:24:01
我知道是形式化方法,用一些非常抽象的形式化表示法来表示程序的数据类型、结构和操作,但是对它们还是缺乏一个系统详细的认识,
有没有哪位比较了解的能够给一些资料,书目,网站资源什么的,谢谢了
求助: 关于软件工程的Z语言和B-Toolkit的问题
求助:关于软件工程的Z语言和B-Toolkit的问题
求助:关于软件工程的Z语言和B-Toolkit的问题
求助: 关于软件工程的Z语言和B-Toolkit的问题
软件工程的实践应该从何做起?(以一定语言基础和软件工程知识)
求助 关于北航软件工程硕士!
关于网络工程和软件工程
求助 林锐 软件工程思想的 出版社和出版时间
关于b'z的新专辑中,无言的promise
关于软件工程的前景