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

FME '96: Industrial Benefit and Advances in Formal Methods
EISBN：9783540497493
PISBN：9783540609735
出版社：Springer Berlin Heidelberg
出版类型：Proceedings
出版时间：1996
版次：1996
作者：Marie-Claude Gaudel,James Woodcock
主题词：Computer Science,Software Engineering,Programming and Operating Systems,Programming Techniques,Software Engineering,Programming Languages,Compilers,Interpreters,Logics and Meanings of Programs,IT in Business
语种：英语
所属数据库：SpringerLink电子图书(1815-2004)
丛书题名：Lecture Notes in Computer Science
2浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

FME'96: Industrial Benefit and Advances in Formal Methods
  • 作者：Marie-Claude Gaudel,James Woodcock
  • EISBN：9783540497493
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1996
...

FME '94: Industrial Benefit of Formal Methods
  • 作者：Maurice Naftalin,Tim Denvir,Miquel Bertran
  • EISBN：9783540490319
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1994
...

FME '94: Industrial Benefit of Formal Methods
  • 作者：Maurice Naftalin,Tim Denvir,Miquel Bertran
  • EISBN：9783540490319
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1994
...

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

FME '97 Industrial Applications and Strengthened Foundations of Formal Methods
  • 作者：John Fitzgerald,Cliff B. Jones,Peter Lucas
  • EISBN：9783540695936
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1997
...

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