Del 15234
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 539 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
Guide to Software Verification with Frama-C
Nikolai Kosmatov, Virgile Prevosto, Julien Signoles
Häftad
538 kr
Del 9154
Guide to Software Verification with Frama-C
Nikolai Kosmatov, Virgile Prevosto, Julien Signoles
Inbunden
769 kr
Del 11812
Del 13361
Del 14571
Tools and Algorithms for the Construction and Analysis of Systems
Bernd Finkbeiner, Laura Kovács
Häftad
445 kr
Del 15050
Del 14570
Tools and Algorithms for the Construction and Analysis of Systems
Bernd Finkbeiner, Laura Kovács
Häftad
445 kr