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

CAFE: An Industrial-Strength Algebraic Formal Method
PISBN：9780444505569
出版时间：Pre 2007
作者：Futatsugi,K. / Nakagawa,A.T. / Tamai,T.
主题词：Computer Science 1995 - 2006
语种：英语
所属数据库：Elsevier电子图书
丛书题名：n/a
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Industrial-Strength Formal Methods in Practice
  • 作者：Michael G. Hinchey,Jonathan P. Bowen
  • EISBN：9781447105237
  • 出版社：Springer London
  • 出版时间：1999
...

Industrial-Strength Formal Methods in Practice
  • 作者：Michael G. Hinchey,Jonathan P. Bowen
  • EISBN：9781447105237
  • 出版社：Springer London
  • 出版时间：1999
...

FME '93: Industrial-Strength Formal Methods
  • 作者：James C.P. Woodcock,Peter G. Larsen
  • EISBN：9783540476238
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1993
...

FME '93: Industrial-Strength Formal Methods
  • 作者：James C. P. Woodcock,Peter G. Larsen
  • EISBN：9783540476238
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1993
...

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

Formal Method: Industrial Used from Model to the Code
  • 作者：Boulanger
  • PISBN：9781118561898
  • 出版社：John Wiley & Sons, Inc
  • 出版时间：2012