Bücher
Programmiersprachen
C
Leitfaden zur Softwareverifikation mit Frama-C: Kernkomponenten, Anwendungen und Nutzung

Leitfaden zur Softwareverifikation mit Frama-C: Kernkomponenten, Anwendungen und Nutzung

Name: Leitfaden zur Softwareverifikation mit Frama-C: Kernkomponenten, Anwendungen und Nutzung
Author: Nikolai Kosmatov, Virgile Prevosto, Julien Signoles (Editors)
ISBN: 9783031556074

Frama-C software verification C static analysis formal methods ACSL deductive verification

Autor: Nikolai Kosmatov, Virgile Prevosto, Julien Signoles (Editors)
Verlag: Springer
Jahr: 2024
Sprache: Englisch; 78

Dieses Buch bewerten

Zum Lesen des Buches, Anmelden / Registrieren

Vorschau des Fragments

Ähnliche Bücher

Pivotal Certified Professional Core Spring 5 Developer Prüfung: Ein Studienleitfaden mit Spring Framework 5. Zweite Auflage

Iuliana Cosmina

Compilerbau mit C: Entwicklung effizienter Interpreter und Compiler

Theophilus Edet

C++ Core Guidelines Erklärt: Best Practices für Modernes C++

Rainer Grimm

Moderne Software-Testtechniken: Ein praktischer Leitfaden für Entwickler und Tester

István Forgács, Attila Kovács

Leitfaden zum Software-Projektmanagement

Gerard O’Regan

Effektives C, 2. Auflage: Eine Einführung in die professionelle C-Programmierung

Robert C. Seacord

Die Kunst des Softwaretestens, dritte Ausgabe

Glenford J. Myers, Tom Badgett, Corey Sandler

Pro Spring 6 mit Kotlin: Ein umfassender Leitfaden zur Verwendung von Kotlin-APIs im Spring Framework 6

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

Softwareanforderungen, dritte Ausgabe

Karl Wiegers, Joy Beatty

Clean Architecture: Ein Leitfaden für Handwerker zur Softwarestruktur und -gestaltung

Robert C. Martin