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

Synthesis of embedded software : frameworks and methodologies for correctness by construction
出版社：New York : Springer, 2010.
ISBN：9781441963994
出版年：2010
作者：Shukla,Sandeep K.
资源类型：图书
细分类型：西文文献
2浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Software frameworks and embedded control systems
  • 作者：Pasetti,Alessandro.
  • ISBN：3540431896
  • 出版社：Berlin ; New York : Springer, c2002.
  • 出版年：2002
...

Mathematical frameworks for component software : models for analysis and synthesis
  • 作者：Liu Zhiming; Jifeng H.
  • ISBN：981270017X
  • 出版社：Hackensack, NJ : World Scientific, 2006.
  • 出版年：2006
...

Mathematical frameworks for component software : models for analysis and synthesis
  • 作者：Liu Zhiming; Jifeng H.
  • ISBN：981270017X HKD773.47
  • 出版社：Hackensack, NJ : World Scientific, 2006.
  • 出版年：2006
...

Methodologies, frameworks, and applications of machine learning
  • 作者：Srivastava,Pramod Kumar,
  • ISBN：9798369310625
  • 出版社：Hershey, Pennsylvania : IGI Global, 2024.
  • 出版年：2024
...

Embedded software
  • 作者：Labrosse,Jean J.
  • ISBN：9780750685832
  • 出版社：Amsterdam ; Boston : Elsevier/Newnes, c2008.
  • 出版年：2008
...

2009 ICSE International Workshop on Model-Based Methodologies for Pervasive and Embedded Software :
  • 作者：International Workshop on Model-Based Methodologies for Pervasive and Embedded Software
  • ISBN：9781424437214
  • 出版社：Piscataway, N.J. : IEEE, c2009.
  • 出版年：2009