登录
机构网站
切换导航
首页
到馆服务
学科服务
研究支持
情报产品
数据资源
科学传播
关于我们
首页
馆藏纸本
图书详情
Abstract state machines : a method for high-level system design and analysis
出版社:
Berlin ; New York : Springer, 2003.
ISBN:
3540007024
出版年:
2003
作者:
Bo?rger,E.
资源类型:
图书
细分类型:
西文文献
1浏览量
问图书管理员
馆际互借
点赞
收藏
访问借阅管理系统
分享
相关推荐
High-level radioactive waste management : a symposium
作者:
Campbell,Milton H.,
ISBN:
0841202702
出版社:
Washington : The Society, 1976.
出版年:
1976
Programming embedded microprocessors : a high-level language solution
作者:
Foulger,R. J.
ISBN:
0850123364
出版社:
Manchester, England : NCC Publications, 1982.
出版年:
1982
High-level languages and their compilers
作者:
Watson,Des.
ISBN:
0201184893
出版社:
Wokingham, England ; Reading, Mass. : Addison-Wesley, 1989
出版年:
1989
Automated analysis of virtual prototypes at the electronic system level : design understanding and a
作者:
Goli,Mehran,
ISBN:
9783030442811
出版社:
Cham : Springer, 2020.
出版年:
2020
High-level data fusion
作者:
Das,Subrata Kumar.
ISBN:
9781596932814
出版社:
Boston : Artech House, c2008.
出版年:
2008
High-level VLSI synthesis
作者:
Camposano,Raul.
ISBN:
0792391594
出版社:
Boston : Kluwer Academic Publishers, c1991.
出版年:
1991
×
访问借阅管理系统