Ana Cavalcanti – författare
1 283 kr
Skickas inom 10-15 vardagar
1 283 kr
Skickas inom 10-15 vardagar
Fundamental Approaches to Software Engineering
27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings
445 kr
Skickas inom 10-15 vardagar
Practice of Formal Methods
Essays in Honour of Cliff Jones, Part II
730 kr
Skickas inom 10-15 vardagar
Practice of Formal Methods
Essays in Honour of Cliff Jones, Part I
730 kr
Skickas inom 10-15 vardagar
Towards Autonomous Robotic Systems
26th Annual Conference, TAROS 2025, York, UK, August 20–22, 2025, Proceedings
818 kr
Skickas inom 10-15 vardagar
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
556 kr
Skickas inom 10-15 vardagar
556 kr
Skickas inom 10-15 vardagar
556 kr
Skickas inom 10-15 vardagar
1 102 kr
Skickas inom 10-15 vardagar
1 102 kr
Skickas inom 10-15 vardagar
556 kr
Skickas inom 10-15 vardagar
556 kr
Skickas inom 10-15 vardagar