Hoppa till sidans huvudinnehåll

Nikolai Kosmatov – författare

Visar alla böcker från författaren Nikolai Kosmatov.
5 produkter
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

719 kr

Skickas inom 10-15 vardagar

Guide to Software Verification with Frama-C

Core Components, Usages, and Applications

AvNikolai Kosmatov,Virgile Prevostom. fl.

Inbunden, Engelska, 2024

999 kr

Skickas inom 5-8 vardagar

Guide to Software Verification with Frama-C

Core Components, Usages, and Applications

AvNikolai Kosmatov,Virgile Prevostom. fl.

Häftad, Engelska, 2025

699 kr

Skickas inom 10-15 vardagar

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 009 kr

Skickas inom 10-15 vardagar

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

689 kr

Skickas inom 10-15 vardagar