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

Formal Method: Industrial Used from Model to the Code
PISBN：9781118561898
出版社：John Wiley & Sons, Inc
出版时间：2012
作者：Boulanger
主题词：Physical Sciences & Engineering
语种：英语
所属数据库：Wiley电子图书
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Industrial Used of Formal Method: Formal Verification
  • 作者：Boulanger
  • PISBN：9781118561829
  • 出版社：John Wiley & Sons, Inc
  • 出版时间：2012
...

CAFE: An Industrial-Strength Algebraic Formal Method
  • 作者：Futatsugi,K. / Nakagawa,A.T. / Tamai,T.
  • PISBN：9780444505569
  • 出版时间：Pre 2007
...

Tribology Research: From Model Experiment to Industrial Problem
  • 作者：G. Dalmaz,A.A. Lubrecht,D. Dowson,M. Priest
  • PISBN：9780444505811
  • 出版时间：Pre 2007
...

Industrial Applications of Formal Methods to Model Design and Analyze Computer Systems
  • 作者：Craigen,Dan
  • PISBN：9780815513629
  • 出版时间：Legacy
...

From Tracking Code to Analysis
  • 作者：Etienne Forest
  • EISBN：9784431558033
  • 出版社：Springer Japan
  • 出版时间：2016
...

Formal Methods for Industrial Critical Systems
  • 作者：Anne E. Haxthausen,Wendelin Serwe
  • EISBN：9783031681509
  • 出版社：Springer Nature
  • 出版时间：2024