Ana Cavalcanti – författare
1 669 kr
Skickas inom 10-15 vardagar
1 669 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
579 kr
Skickas inom 10-15 vardagar
Practice of Formal Methods
Essays in Honour of Cliff Jones, Part II
949 kr
Skickas inom 10-15 vardagar
Practice of Formal Methods
Essays in Honour of Cliff Jones, Part I
949 kr
Skickas inom 10-15 vardagar
Towards Autonomous Robotic Systems
26th Annual Conference, TAROS 2025, York, UK, August 20–22, 2025, Proceedings
1 069 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
719 kr
Skickas inom 10-15 vardagar
719 kr
Skickas inom 10-15 vardagar
719 kr
Skickas inom 10-15 vardagar
1 439 kr
Skickas inom 10-15 vardagar
1 439 kr
Skickas inom 10-15 vardagar
719 kr
Skickas inom 10-15 vardagar
719 kr
Skickas inom 10-15 vardagar