• Guide to Software Verification...
  • *Holdings*

*Result*: Guide to Software Verification with Frama-C

*Title*:
Guide to Software Verification with Frama-C : Core Components, Usages, and Applications / edited by Nikolai Kosmatov, Virgile Prevosto, Julien Signoles
*Author/editor-in-chief*:
Kosmatov, Nikolai (Herausgeber); Prevosto, Virgile (Herausgeber); Signoles, Julien (Herausgeber)
*Edition*:
1st ed. 2024
*Publication*:
Cham : Springer International Publishing, 2024
*Distribution*:
Cham : Springer International Publishing AG
*Physical description scale*:
1 Online-Ressource (XXIV, 697 Seiten) : 196 illus., 69 illus. in color.
*Format*:
*eBook*
*Language*:
*eng*
*series_multipart*:
Computer Science Foundations and Applied Logic, ISSN 2731-5762
*Other edition entry*:
Erscheint auch als Druck-Ausgabe: Guide to Software Verification with Frama-C. - Cham : Springer International Publishing, 2024. - ISBN 9783031556074
*ISBN*:
9783031556081 ; 3031556089 ; 9783031556074 (Sekundärausgabe) ; 9783031556098 (Sekundärausgabe) ; 9783031556104 (Sekundärausgabe)
*DOI*:
10.1007/978-3-031-55608-1

*Additional information*

*Additional functions*