Nikolai Kosmatov – författare

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

5 produkter

Kategorier

5 produkter

Del 11812
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
749 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
1 029 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
729 kr
Skickas inom 10-15 vardagar
Del 15234
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 089 kr
Skickas inom 10-15 vardagar
Del 9154
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
729 kr
Skickas inom 10-15 vardagar