Hoppa till sidans huvudinnehåll

Nikolai Kosmatov – författare

Visar alla böcker från författaren .
5 produkter
Christophe Gaston, Nikolai Kosmatov, Pascale Le Gall - Testing Software and Systems, Häftad
Del 11812 - Lecture Notes in Computer Science

Testing Software and Systems

31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings

AvChristophe Gaston,Nikolai Kosmatovm. fl.

Häftad, Engelska, 2019

729 kr

Skickas inom 10-15 vardagar

Nikolai Kosmatov, Virgile Prevosto, Julien Signoles - Guide to Software Verification with Frama-C, Inbunden

Guide to Software Verification with Frama-C

Core Components, Usages, and Applications

AvNikolai Kosmatov,Virgile Prevostom. fl.

Inbunden, Engelska, 2024

1 019 kr

Skickas inom 5-8 vardagar

Nikolai Kosmatov, Virgile Prevosto, Julien Signoles - Guide to Software Verification with Frama-C, Häftad

Guide to Software Verification with Frama-C

Core Components, Usages, and Applications

AvNikolai Kosmatov,Virgile Prevostom. fl.

Häftad, Engelska, 2025

709 kr

Skickas inom 10-15 vardagar

Nikolai Kosmatov, Laura Kovács - Integrated Formal Methods, Häftad
Del 15234 - Lecture Notes in Computer Science

Integrated Formal Methods

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

AvNikolai Kosmatov,Laura Kovács

Häftad, Engelska, 2024

2 029 kr

Skickas inom 10-15 vardagar

Jasmin Christian Blanchette, Nikolai Kosmatov - Tests and Proofs, Häftad
Del 9154 - Lecture Notes in Computer Science

Tests and Proofs

9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings

AvJasmin Christian Blanchette,Nikolai Kosmatov

Häftad, Engelska, 2015

699 kr

Skickas inom 10-15 vardagar