Frama-C软件验证指南：核心组件、用法与应用
A

Frama-C软件验证指南：核心组件、用法与应用

C
Frama-C software verification C static analysis formal methods ACSL deductive verification
作者
Nikolai Kosmatov, Virgile Prevosto, Julien Signoles (Editors)
出版社
Springer
年份
2024
语言
英语
81
评价本书

阅读本书 登录 / 注册

预览片段

相似书籍

Pivotal认证专业核心Spring 5开发人员考试：使用Spring Framework 5的学习指南。第二版

Pivotal认证专业核心Spring 5开发人员考试：使用Spring Framework 5的学习指南。第二版

Iuliana Cosmina

用C语言构建编译器：打造高效的解释器和编译器

用C语言构建编译器：打造高效的解释器和编译器

Theophilus Edet

C++核心指南详解：现代C++最佳实践

C++核心指南详解：现代C++最佳实践

Rainer Grimm

现代软件测试技术：开发与测试人员实用指南

现代软件测试技术：开发与测试人员实用指南

István Forgács, Attila Kovács

软件项目管理指南

软件项目管理指南

Gerard O’Regan

Effective C（第二版）：专业C编程入门

Effective C（第二版）：专业C编程入门

Robert C. Seacord

软件测试的艺术（第三版）

软件测试的艺术（第三版）

Glenford J. Myers, Tom Badgett, Corey Sandler

Pro Spring 6 与 Kotlin：Spring Framework 6 中 Kotlin API 的深入指南

Pro Spring 6 与 Kotlin：Spring Framework 6 中 Kotlin API 的深入指南

Peter Späth, Iuliana Cosmina, Rob Harrop, Chris Schaefer

软件需求，第三版

软件需求，第三版

Karl Wiegers, Joy Beatty

整洁架构：软件结构与设计工匠指南

整洁架构：软件结构与设计工匠指南

Robert C. Martin