Guide to Software Verification with Frama-C : Core Components, Usages, and Applications / edited by Nikolai Kosmatov, Virgile Prevosto, Julien Signoles
Mitwirkende(r): Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: Computer Science Foundations and Applied LogicVerlag: Cham : Springer International Publishing, 2024Verlag: Cham : Imprint: Springer, 2024Auflage: 1st ed. 2024Beschreibung: 1 Online-Ressource(XXIV, 697 p. 196 illus., 69 illus. in color.)ISBN:- 9783031556081
Dieser Titel hat keine Exemplare