Nikolai Kosmatov – författare
Visar alla böcker från författaren Nikolai Kosmatov.
5 produkter
Testing Software and Systems
31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings
Av Christophe Gaston, Nikolai Kosmatov m. fl.
Häftad, 2019
739 kr
Lägg i varukorg
Guide to Software Verification with Frama-C
Core Components, Usages, and Applications
Av Nikolai Kosmatov, Virgile Prevosto m. fl.
Inbunden, 2024
1029 kr
Lägg i varukorg
Guide to Software Verification with Frama-C
Core Components, Usages, and Applications
Av Nikolai Kosmatov, Virgile Prevosto m. fl.
Häftad, 2025
719 kr
Lägg i varukorg
Integrated Formal Methods
19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings
Av Nikolai Kosmatov, Laura Kovács
Häftad, 2024
2059 kr
Lägg i varukorg
Tests and Proofs
9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings
Av Jasmin Christian Blanchette, Nikolai Kosmatov
Häftad, 2015
709 kr
Lägg i varukorg