Ana Cavalcanti – författare
1 282 kr
Skickas inom 10-15 vardagar
1 282 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
729 kr
Skickas inom 10-15 vardagar
Practice of Formal Methods
Essays in Honour of Cliff Jones, Part I
729 kr
Skickas inom 10-15 vardagar
Towards Autonomous Robotic Systems
26th Annual Conference, TAROS 2025, York, UK, August 20–22, 2025, Proceedings
817 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
554 kr
Skickas inom 10-15 vardagar
Refinement Techniques in Software Engineering
First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures
554 kr
Skickas inom 10-15 vardagar
Theoretical Aspects of Computing - ICTAC 2006
Third International Colloquium, Tunis, Tunisia, November 20-24, 2006 Proceedings
554 kr
Skickas inom 10-15 vardagar
FM 2009: Formal Methods
Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings
1 101 kr
Skickas inom 10-15 vardagar
Formal Methods and Software Engineering
11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009, Proceedings
1 101 kr
Skickas inom 10-15 vardagar
Testing Techniques in Software Engineering
Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
554 kr
Skickas inom 10-15 vardagar
Theoretical Aspects of Computing
7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010, Proceedings
554 kr
Skickas inom 10-15 vardagar