📚 车机开发技术资料

📦 资源总数：45536
💻 源代码：37385

🔥 车机开发热门资料

查看全部45536个资源 »

< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介...

📅 👤 康郎
gt 语言 lt 开发指南

💻 车机开发源代码

查看更多 »
💻
readme.txt
💻
readme.txt
💻
readme.txt
💻
自己修改的从机程序.txt
💻
readme.txt
💻
bo hao.c
📂 车机开发资料分类
🔥 热门资料 查看最受欢迎的资源 💻 源代码 程序代码与工程文件 📚 全部资料 45536 个资源