Guide to Software Verification with Frama-C
Nikolai Kosmatov, Virgile Prevosto, Julien Signoles
Häftad
689 kr
Integrated Formal Methods
19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings
Häftad, Engelska, 2024
1 829 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 13361
Del 13385
Del 9154
Guide to Software Verification with Frama-C
Nikolai Kosmatov, Virgile Prevosto, Julien Signoles
Inbunden
889 kr
Del 11812
Del 14571
Tools and Algorithms for the Construction and Analysis of Systems
Bernd Finkbeiner, Laura Kovács
Häftad
569 kr
Del 14570
Tools and Algorithms for the Construction and Analysis of Systems
Bernd Finkbeiner, Laura Kovács
Häftad
569 kr
Del 14572
Tools and Algorithms for the Construction and Analysis of Systems
Bernd Finkbeiner, Laura Kovács
Häftad
569 kr