登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

用TLA+定义系统 :TLA+语言与工具在软硬件设计中的应用
出版社：机械工业出版社
ISBN：9787111678229
出版年：2021
作者：(美)莱斯利·兰伯特著
资源类型：图书
细分类型：中文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

基于TLA+的分布式数据库系统CockroachDB关键协议验证
  • 作者：吴陈傲
  • 出版社：中国科学院软件研究所
  • 出版年：2023
...

PIC软硬件系统设计——
  • 作者：刘笃仁主编
  • ISBN：7121007525
  • 出版社：电子工业出版社
  • 出版年：2005
...

计算机软硬件基础、VB.net及其在管理信息系统中的应用
  • 作者：黄梯云
  • ISBN：9787302380283
  • 出版社：清华大学出版社
  • 出版年：2016
...

龙芯嵌入式系统软硬件平台设计
  • 作者：符意德
  • ISBN：9787115601001
  • 出版社：人民邮电出版社
  • 出版年：2023
...

基于ARM Cortex-M3的水下CTFM声呐测距系统的软硬件设计
  • 作者：朱晔
  • 出版年：2017
...

嵌入式系统软硬件协同设计实验教程
  • 作者：王炜
  • ISBN：9787030737151
  • 出版社：科学出版社
  • 出版年：2022