Cristina Seceleanu - Böcker
Visar alla böcker från författaren Cristina Seceleanu.
5 produkter
5 produkter
Del 14066 - Lecture Notes in Computer Science
Tests and Proofs
17th International Conference, TAP 2023, Leicester, UK, July 18–19, 2023, Proceedings
Häftad, Engelska, 2023
729 kr
Skickas inom 10-15 vardagar
2 919 kr
Skickas inom 5-8 vardagar
3 149 kr
Skickas inom 10-15 vardagar
Del 14390 - Lecture Notes in Computer Science
Engineering of Computer-Based Systems
8th International Conference, ECBS 2023, Västerås, Sweden, October 16–18, 2023, Proceedings
Häftad, Engelska, 2023
929 kr
Skickas inom 5-8 vardagar
Del 10471 - Lecture Notes in Computer Science
Critical Systems: Formal Methods and Automated Verification
Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings
Häftad, Engelska, 2017
729 kr
Skickas inom 10-15 vardagar