登录
 机构网站
  1. 首页
  2. 电子图书
  3. 图书详情
...

Embedded Systems Design Based on Formal Models of Computation
EISBN：9789400715943
PISBN：9789400715936
出版社：Springer Netherlands
出版类型：Monograph
出版时间：2011
作者：Ivan Radojevic,Zoran Salcic
主题词：Engineering,general,Special Purpose and Application-Based Systems
语种：英语
所属数据库：SpringerLink电子图书
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Modeling Embedded Systems and SoC's: Concurrency and Time in Models of Computation
  • 作者：Axel Jantsch
  • PISBN：9781558609259
  • 出版时间：Pre 2007
...

Model-Based Design of Adaptive Embedded Systems
  • 作者：Twan Basten,Roelof Hamberg,Frans Reckers,Jacques Verriet
  • EISBN：9781461448211
  • 出版社：Springer New York
  • 出版时间：2013
...

Formal Methods for Embedded Distributed Systems
  • 作者：Fabrice Kordon,Michel Lemoine
  • EISBN：9781402079979
  • 出版社：Springer US
  • 出版时间：2004
...

Formal Methods for Embedded Distributed Systems
  • 作者：Fabrice Kordon,Michel Lemoine
  • EISBN：9781402079979
  • 出版社：Springer US
  • 出版时间：2004
...

Embedded Systems Design
  • 作者：Bruno Bouyssounouse,Joseph Sifakis
  • EISBN：9783540319733
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2005
...

Embedded Systems Design
  • 作者：Steve Heath
  • PISBN：9780750655460
  • 出版时间：Pre 2007