Nikolai Kosmatov - Böcker
Visar alla böcker från författaren Nikolai Kosmatov.
5 produkter
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
Häftad, Engelska, 2019
719 kr
Skickas inom 10-15 vardagar
Guide to Software Verification with Frama-C
Core Components, Usages, and Applications
Inbunden, Engelska, 2024
1 009 kr
Skickas inom 7-10 vardagar
Guide to Software Verification with Frama-C
Core Components, Usages, and Applications
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
Häftad, Engelska, 2024
1 979 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
Häftad, Engelska, 2015
689 kr
Skickas inom 10-15 vardagar