最新nba绝杀次数排名:求助: 关于软件工程的Z语言和B-Toolkit的问题
来源:百度文库 编辑:高校问答 时间:2024/05/12 04:28:00
我知道是形式化方法,用一些非常抽象的形式化表示法来表示程序的数据类型、结构和操作,但是对它们还是缺乏一个系统详细的认识,
有没有哪位比较了解的能够给一些资料,书目,网站资源什么的,谢谢了
有没有哪位比较了解的能够给一些资料,书目,网站资源什么的,谢谢了
高校问答是一部内容开放、自由的互动网络百科全书
客观、专业、权威的知识性百科全书
来源:百度文库 编辑:高校问答 时间:2024/05/12 04:28:00