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 into runtime verification with this practical Java-based guide. Learn how to build and integrate verification tools into your applications. Master techniques for detecting software errors, enhancing reliability, and optimizing performance. Ideal for software engineers, researchers, and anyone interested in reliable software development. This hands-on approach ensures you gain practical experience with the principles and applications of runtime verification. Discover the power of automated verification to build robust and trustworthy applications.
  • ISBN：9783031092664, 30310
  • 下载地址（点击下载）：
    隐藏内容
    本内容登录后免费查看
声明：本站所有文章，如无特殊说明或标注，均为本站原创发布。任何个人或组织，在未征得本站同意时，禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益，可联系我们进行处理。