Katoen - Principles of Model Checking -

文件大小:6MB 分类:文档书籍 创建时间:2018-04-05 热度:45

Model Checking 2ed 2018

文件大小:12MB 分类:文档书籍 创建时间:2022-03-15 热度:1

Model Checking Quantum Systems 2021

文件大小:12MB 分类:文档书籍 创建时间:2021-05-09 热度:1

Kazi Sakib, Zahir Tari , Peter Bertok]Verification of Communication Protocols in Web Services Model-Checking

文件大小:13MB 分类:文档书籍 创建时间:2018-04-02 热度:104

The.MIT.Press.Principles.of.Model.Checking.May.2008.eBook

文件大小:17MB 分类:文档书籍 创建时间:2022-01-23 热度:1

[ ] Model Checking Software - 29th International Symposium, SPIN 2023, Paris, France, April 26 - 27,

文件大小:24MB 分类:文档书籍 创建时间:2023-09-03 热度:1

[ ] Model Checking Software 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings

文件大小:24MB 分类:文档书籍 创建时间:2022-01-27 热度:1

ID Checking Guide Bar Book

文件大小:35MB 分类:文档书籍 创建时间:2018-12-14 热度:47

ID Checking Guide Bar Book

文件大小:90MB 分类:文档书籍 创建时间:2020-04-01 热度:26

ID Checking Guide Bar Book

文件大小:117MB 分类:文档书籍 创建时间:2019-03-07 热度:27