Modeling in Event-B： System and Software Engineering（Jean-Raymond Abrial）（Cambridge University Press 2010）

  • 书名：Modeling in Event-B: System and Software Engineering
  • 出版社：Cambridge University Press
  • 作者：Jean-Raymond Abrial
  • 出版年份：2010
  • 电子书格式： pdf
  • 简介：Dive into formal methods with “Modeling in Event-B.” This comprehensive guide by Jean-Raymond Abrial provides a practical approach to system and software engineering using the Event-B notation. Learn to model complex systems, identify potential errors early, and build robust software. Ideal for students and professionals in computer science, engineering, and related fields.
  • ISBN：0521895561
  • 下载地址（点击下载）：
    隐藏内容
    本内容登录后免费查看
声明：本站所有文章，如无特殊说明或标注，均为本站原创发布。任何个人或组织，在未征得本站同意时，禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益，可联系我们进行处理。