Filter
Søkt på: virgil
Den utgaven du søker (isbn 9781358632112)
finnes ikke lenger i sortimentet.
Vi gjorde et søk på tittelen istedenfor virgil som gav1 treff
Vi gjorde et søk på tittelen istedenfor virgil som gav1 treff
Filter
Guide to Software Verification with Frama-C
innbundet,
2024,
Engelsk,
ISBN 9783031556074
Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications.With the growing …