Bücher — Frama-C

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

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

A

Nikolai Kosmatov, Virgile Prevosto, Julien Signoles (Editors)

Programmiersprachen
RU
Grundlagen der Softwaretests und -verifikation

Grundlagen der Softwaretests und -verifikation

B

С. М. Старолетов

Softwareentwicklung