The Spin Model Checker 2024 pdf epub mobi 电子书
简体网页||繁体网页
The Spin Model Checker 2024 pdf epub mobi 电子书 著者简介
The Spin Model Checker 电子书 图书目录
点击这里下载
发表于2024-12-27
The Spin Model Checker 2024 pdf epub mobi 电子书
The Spin Model Checker 2024 pdf epub mobi 电子书
The Spin Model Checker 2024 pdf epub mobi 电子书
喜欢 The Spin Model Checker 电子书 的读者还喜欢
The Spin Model Checker 电子书 读后感
图书标签: 计算机 计算机科学 模型检验 经典 形式化方法 pl concurrency
The Spin Model Checker 2024 pdf epub mobi 电子书 图书描述
The SPIN Model Checker is used for both teaching software verification techniques, and for validating large scale applications. The growing number of users has created a need for a more comprehensive user guide and a standard reference manual that describes the most recent version of the tool. This book fills that need. SPIN is used in over 40 countries. The offical SPIN web site, spinroot.com receives between 2500 and 3000 hits per day. It has been estimated that up to three-quarters of the $400 billion spent annually to hire programmers in the United States is ultimately spent on debugging.
The Spin Model Checker 2024 pdf epub mobi 电子书
The Spin Model Checker 2024 pdf epub mobi 用户评价
Spin和Promela的必备参考书
评分Spin和Promela的必备参考书
评分Spin和Promela的必备参考书
评分Spin和Promela的必备参考书
评分Spin和Promela的必备参考书
The Spin Model Checker 2024 pdf epub mobi 电子书
分享链接
The Spin Model Checker 2024 pdf epub mobi 电子书 下载链接
相关图书
-
Process Algebra 2024 pdf epub mobi 电子书 -
Process Algebra 2024 pdf epub mobi 电子书
-
Parallel Computer Organization and Design 2024 pdf epub mobi 电子书
-
Practical Parallel Programming 2024 pdf epub mobi 电子书
-
Intel Xeon Phi Coprocessor High Performance Programming 2024 pdf epub mobi 电子书
-
中文信息处理技术教程 2024 pdf epub mobi 电子书
-
Core Transformation 2024 pdf epub mobi 电子书
-
Solutions 2024 pdf epub mobi 电子书
-
机器翻译系统/机器翻译技术丛书 2024 pdf epub mobi 电子书
-
自然语言处理的原理及其应用 2024 pdf epub mobi 电子书
-
NLP 2024 pdf epub mobi 电子书
-
口语机器翻译 2024 pdf epub mobi 电子书
-
A Modest Proposal and Other Satirical Works 2024 pdf epub mobi 电子书
-
Hello Swift! 2024 pdf epub mobi 电子书
-
零基础学Swift(图文版) 2024 pdf epub mobi 电子书
-
iOS Apprentice (Eighth Edition) 2024 pdf epub mobi 电子书
-
Swift编程实战 2024 pdf epub mobi 电子书
-
GULLIVERS TRAVELS 2024 pdf epub mobi 电子书
-
iOS Animations by Tutorials Second Edition 2024 pdf epub mobi 电子书
-
Sams Teach Yourself Swift in 24 Hours 2024 pdf epub mobi 电子书
