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

Modeling in Event-B : system and software engineering
出版社：Cambridge ; New York : Cambridge University Press, 2010.
ISBN：9780521895569
出版年：2010
作者：Abrial,Jean-Raymond.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Event-B建模 :系统和软件工程
  • 作者：阿布瑞尔
  • ISBN：9787115508997
  • 出版社：人民邮电出版社
  • 出版年：2019
...

基于Event-B语言的实时系统时间属性分析与建模方法研究
  • 作者：姚袭欣
  • 出版社：中国科学技术大学
  • 出版年：2022
...

System and software requirements engineering
  • 作者：H.Thayer,Richard
  • ISBN：0818689218
  • 出版社：Los Alamitos, Calif. : IEEE Computer Society Press, 1990.
  • 出版年：1990
...

Expert system software : engineering, advantages, and application
  • 作者：Segura,Jason M.
  • ISBN：9781612091143
  • 出版社：Hauppauge, N.Y. : Nova Science Publisher''s, Inc., 2012.
  • 出版年：2012
...

Standards, guidelines, and examples on system and software requirements engineering
  • 作者：Dorfman,Merlin
  • ISBN：0818689226
  • 出版社：Los Alamitos, Calif. : IEEE Computer Society Press, 1990.
  • 出版年：1990
...

Fundamentals of software engineering : 9th International Conference, FSEN 2021, Virtual event, May 1
  • 作者：IPM International Conference on Fundamentals of Software Engineering
  • ISBN：9783030892463
  • 出版社：Cham, Switzerland : Springer, 2021.
  • 出版年：2021