• Книги
  • Языки программирования
  • C
  • Руководство по верификации программного обеспечения с Frama-C: основные компоненты, применение и примеры использования
Руководство по верификации программного обеспечения с 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
Язык
Английский
84
Оцените книгу

Чтобы читать книгу, войдите / зарегистрируйтесь

Ознакомительный фрагмент

Похожие книги

Pivotal Certified Professional Core Spring 5 Developer Exam: A Study Guide Using Spring Framework 5. Second Edition

Pivotal Certified Professional Core Spring 5 Developer Exam: A Study Guide Using Spring Framework 5. Second Edition

Iuliana Cosmina

Построение компиляторов на C: создание эффективных интерпретаторов и компиляторов

Построение компиляторов на C: создание эффективных интерпретаторов и компиляторов

Theophilus Edet

C++ Core Guidelines Explained: Best Practices for Modern C++

C++ Core Guidelines Explained: Best Practices for Modern C++

Rainer Grimm

Modern Software Testing Techniques: A Practical Guide for Developers and Testers

Modern Software Testing Techniques: A Practical Guide for Developers and Testers

István Forgács, Attila Kovács

Guide to Software Project Management

Guide to Software Project Management

Gerard O’Regan

Effective C, 2nd Edition: An Introduction to Professional C Programming

Effective C, 2nd Edition: An Introduction to Professional C Programming

Robert C. Seacord

Искусство тестирования программного обеспечения, третье издание

Искусство тестирования программного обеспечения, третье издание

Glenford J. Myers, Tom Badgett, Corey Sandler

Pro Spring 6 with Kotlin: An In-depth Guide to Using Kotlin APIs in Spring Framework 6

Pro Spring 6 with Kotlin: An In-depth Guide to Using Kotlin APIs in Spring Framework 6

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

Программные требования, третье издание

Программные требования, третье издание

Karl Wiegers, Joy Beatty

Clean Architecture: A Craftsman’s Guide to Software Structure and Design

Clean Architecture: A Craftsman’s Guide to Software Structure and Design

Robert C. Martin