Guide to Software Verification with Frama-C
Nikolai Kosmatov, Virgile Prevosto, Julien Signoles
Häftad
699 kr
Del 15234 i serien Lecture Notes in Computer Science
Integrated Formal Methods
19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings
Häftad, Engelska, 2024
1 999 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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
- Utgivningsdatum2024-11-13
- Mått155 x 235 x 20 mm
- Vikt534 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor328
- FörlagSpringer International Publishing AG
- ISBN9783031765537
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 15234
Del 9154
Guide to Software Verification with Frama-C
Nikolai Kosmatov, Virgile Prevosto, Julien Signoles
Inbunden
999 kr
Del 11812
Del 13361
Del 14571
Tools and Algorithms for the Construction and Analysis of Systems
Bernd Finkbeiner, Laura Kovács
Häftad
579 kr
Del 15050
Del 14570
Tools and Algorithms for the Construction and Analysis of Systems
Bernd Finkbeiner, Laura Kovács
Häftad
579 kr