Runtime Verification： A Hands-On Approach in Java（Christian Colombo， Gordon J. Pace）（Springer 2022）

  • 书名：Runtime Verification: A Hands-On Approach in Java
  • 出版社：Springer
  • 作者：Christian Colombo, Gordon J. Pace
  • 出版年份：2022
  • 电子书格式： pdf
  • 简介：Dive deep into runtime verification with this practical Java-based guide. Learn how to design and implement effective verification systems to catch runtime errors before they impact your software. Explore the core concepts, gain hands-on experience, and optimize your software development processes. This book offers a comprehensive approach to runtime verification using Java, covering theoretical foundations alongside practical examples.
  • ISBN：9783031092664, 30310
  • 下载地址（点击下载）：
    隐藏内容
    本内容登录后免费查看
声明：本站所有文章，如无特殊说明或标注，均为本站原创发布。任何个人或组织，在未征得本站同意时，禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益，可联系我们进行处理。