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

Industrial Applications of Formal Methods to Model Design and Analyze Computer Systems
PISBN：9780815513629
出版时间：Legacy
作者：Craigen,Dan
主题词：Engineering
语种：英语
所属数据库：Elsevier电子图书
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Formal Methods for Industrial Critical Systems: A Survey of Applications
  • 作者：Gnesi
  • PISBN：9781118459898
  • 出版社：John Wiley & Sons, Inc
  • 出版时间：2012
...

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

Formal Methods for Industrial Critical Systems
  • 作者：Falk Howar,Jiří Barnat
  • EISBN：9783030002442
  • 出版社：Springer International Publishing
  • 出版时间：2018
...

Formal Methods for Industrial Applications
  • 作者：Jean-Raymond Abrial,Egon Börger,Hans Langmaack
  • EISBN：9783540495666
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1996
...

Formal Methods for Industrial Critical Systems
  • 作者：Gwen Salaün,Bernhard Schätz
  • EISBN：9783642244315
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2011
...

Formal Methods for Industrial Critical Systems
  • 作者：Stefan Leue,Pedro Merino
  • EISBN：9783540797074
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2008