Fundamentals of Logic and Computation...Verification 2021

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

Introducing Software Verification...Dafny...2022

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

Verification and Validation in Scientific Computing 2010

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

Runtime Verification.A Hands-On Approach in Java 2022

文件大小:3MB 分类:文档书籍 创建时间:2022-08-20 热度:1

Guidelines for Digital Identity Verification 2023

文件大小:33MB 分类:文档书籍 创建时间:2023-08-10 热度:1

LA VERIFICATION ET L’ECLAIRCISSEMENT.

文件大小:5MB 分类:文档书籍 创建时间:2023-05-01 热度:1

Method, Verification..2ed 2021

文件大小:9MB 分类:文档书籍 创建时间:2021-11-16 热度:1

INTERTANKO - OCIMF - Behavioural Competency Assessment and Verification for Vessels

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

[ ] Software Verification - 13th International Conference, VSTTE 2021

文件大小:33MB 分类:文档书籍 创建时间:2022-05-10 热度:1

Polynomial Formal Verification of Approximate Functions 2023

文件大小:6MB 分类:文档书籍 创建时间:2023-08-04 热度:1