Nikolai Kosmatov - Böcker

Visar alla böcker från författaren Nikolai Kosmatov.

5 produkter

Kategorier

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, Engelska, 2019

719 kr

Skickas inom 10-15 vardagar

Guide to Software Verification with Frama-C

Core Components, Usages, and Applications

Av Nikolai Kosmatov, Virgile Prevosto m. fl

Inbunden, Engelska, 2024

899 kr

Skickas inom 10-15 vardagar

Guide to Software Verification with Frama-C

Core Components, Usages, and Applications

Av Nikolai Kosmatov, Virgile Prevosto m. fl

Häftad, Engelska, 2025

809 kr

Skickas inom 10-15 vardagar

Integrated Formal Methods

19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings

Av Nikolai Kosmatov, Laura Kovács m. fl

Häftad, Engelska, 2024

2 089 kr

Skickas inom 10-15 vardagar

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, Engelska, 2015

699 kr

Skickas inom 10-15 vardagar