体检能查出乙肝吗:求助:关于软件工程的Z语言和B-Toolkit的问题
来源:百度文库 编辑:杭州交通信息网 时间:2024/05/04 11:01:43
我知道是形式化方法,用一些非常抽象的形式化表示法来表示程序的数据类型、结构和操作,但是对它们还是缺乏一个系统详细的认识,
有没有哪位比较了解的能够给一些资料,书目,网站资源什么的,谢谢了
有没有哪位比较了解的能够给一些资料,书目,网站资源什么的,谢谢了
杭州交通信息网是一部内容开放、自由的互动网络百科全书
客观、专业、权威的知识性百科全书
来源:百度文库 编辑:杭州交通信息网 时间:2024/05/04 11:01:43