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
Cristina Seceleanu – författare
Visar alla böcker från författaren Cristina Seceleanu.
5 produkter
5 produkter
- Inbunden, Engelska, 2023
3 189 kr
Skickas inom 10-15 vardagar
- Häftad, Engelska, 2024
3 189 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, 2023949 kr
Skickas inom 10-15 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, 2017729 kr
Skickas inom 10-15 vardagar