Suchergebnisse für "Nikolai Kosmatov/Virgile Prevosto/Julien Signoles"
Redaktionelle Inhalte
Keine redaktionellen Inhalte für "Nikolai Kosmatov/Virgile Prevosto/Julien Signoles" gefunden.
Katalogsuche

Guide to Software Verification with Frama-C
Core Components, Usages, and Applications, Computer Science Foundations and Applied Logic
Nikolai Kosmatov/Virgile Prevosto/Julien Signoles
Springer Verlag GmbH
74,89 €
(inklusive MwSt.)
Lieferbar

Guide to Software Verification with Frama-C
eBook - Core Components, Usages, and Applications, Computer Science (R0)
Nikolai Kosmatov/Virgile Prevosto/Julien Signoles
SPRINGER
80,95 €
(inklusive MwSt.)
Lieferbar

Guide to Software Verification with Frama-C
Core Components, Usages, and Applications, Computer Science Foundations and Applied Logic
Nikolai Kosmatov/Virgile Prevosto/Julien Signoles
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
