Home / All Books / Guide to Software Verification with Frama-C: Core Components, Usages, and Applications (Computer Science Foundations and Applied Logic)

Book PDf: Guide to Software Verification with Frama-C: Core Components, Usages, and Applications (Computer Science Foundations and Applied Logic)

Name: Guide to Software Verification with Frama-C: Core Components, Usages, and Applications (Computer Science Foundations and Applied Logic)
Rating: 4.8 (6 reviews)
Author: Nikolai Kosmatov (editor), Virgile Prevosto (editor), Julien Signoles (editor)

Download Guide to Software Verification with Frama-C: Core Components, Usages, and Applications (Computer Science Foundations and Applied Logic)

Author: Nikolai Kosmatov (editor), Virgile Prevosto (editor), Julien Signoles (editor)

ISBN: 9783031556074

Publisher: Springer

Year: 2024

Publisher Edition (Original Quality)

User Rating: (4.8):

File Size

22.4 MB

Pages

721

Price: 6.99€

Description

Introduction to the book Guide to Software Verification with Frama-C: Core Components, Usages, and Applications (Computer Science Foundations and Applied Logic) The book Guide to Software Verification with Frama-C: Core Components, Usages, and Applications (Computer Science Foundations and Applied Logic), written by Deffieux and Descamps, is considered one of the most important works in its field. This book contains valuable and useful content that is highly suitable for those interested in this subject.

About the book Guide to Software Verification with Frama-C: Core Components, Usages, and Applications (Computer Science Foundations and Applied Logic) By drawing on the authors' experience and knowledge, this work provides readers with comprehensive and practical information.

Experience downloading the book Guide to Software Verification with Frama-C: Core Components, Usages, and Applications (Computer Science Foundations and Applied Logic) through the Cyber Uni website.

Best Selling Books