Guide to Software Verification with Frama-C
Nikolai Kosmatov, Virgile Prevosto, Julien Signoles
Häftad, 2025
540 kr
Integrated Formal Methods
19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings
AvNikolai Kosmatov,Laura Kovács
Häftad, Engelska, 2024
Del 15234 i serien Lecture Notes in Computer Science
1 545 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integrated Formal Methods, IFM 2024, during 13-15 November 2024, held in Manchester, UK.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 15234
Del 9154
Del 13361
Del 14571
Tools and Algorithms for the Construction and Analysis of Systems
Bernd Finkbeiner, Laura Kovács
Häftad, 2024
446 kr
Guide to Software Verification with Frama-C
Nikolai Kosmatov, Virgile Prevosto, Julien Signoles
Inbunden, 2024
772 kr
Del 15050
Del 14570
Tools and Algorithms for the Construction and Analysis of Systems
Bernd Finkbeiner, Laura Kovács
Häftad, 2024
446 kr
Del 14572
Tools and Algorithms for the Construction and Analysis of Systems
Bernd Finkbeiner, Laura Kovács
Häftad, 2024
446 kr