Steve Reeves - Böcker
Visar alla böcker från författaren Steve Reeves. Handla med fri frakt och snabb leverans.
5 produkter
5 produkter
136 kr
Skickas inom 5-8 vardagar
When Vulnerability Meets Power
Safeguarding in the International Aid and Development Sector
Inbunden, Engelska, 2025
2 039 kr
Skickas inom 10-15 vardagar
Recent crises relating to non-governmental aid organisations have brought into sharp focus the need for a greater understanding of the safeguarding challenges which the international aid and development sector faces, and how to respond to them in a consistent, systematic and effective way. This essential safeguarding guide provides insight to operational, organisational and cultural challenges within the international aid and development sector.The book brings together carefully chosen key professionals who have extensive operational experience of addressing and responding to these issues. In a highly challenging environment, with multiple competing demands, this book is a clearly focused and accessible resource. It sets out what those leading in the field need to be aware of, what responses they need to make and how to maintain necessary change in the long term. In relation to each key issue, through its range of chapters, the book explores what the challenge is, what is current or suggested best practice and what future developments are needed.It provides the sector with an accessible, authoritative and ultimately essential handbook for all those working in the international aid and development sector, whether they are practitioners, safeguarding specialists, senior leaders in governance roles or regulators. The emphasis is on facilitating sector-wide change, embedding best practice and encouraging work that effectively ensures the safety and wellbeing of the world’s most vulnerable people.
When Vulnerability Meets Power
Safeguarding in the International Aid and Development Sector
Häftad, Engelska, 2025
364 kr
Skickas inom 10-15 vardagar
Recent crises relating to non-governmental aid organisations have brought into sharp focus the need for a greater understanding of the safeguarding challenges which the international aid and development sector faces, and how to respond to them in a consistent, systematic and effective way. This essential safeguarding guide provides insight to operational, organisational and cultural challenges within the international aid and development sector.The book brings together carefully chosen key professionals who have extensive operational experience of addressing and responding to these issues. In a highly challenging environment, with multiple competing demands, this book is a clearly focused and accessible resource. It sets out what those leading in the field need to be aware of, what responses they need to make and how to maintain necessary change in the long term. In relation to each key issue, through its range of chapters, the book explores what the challenge is, what is current or suggested best practice and what future developments are needed.It provides the sector with an accessible, authoritative and ultimately essential handbook for all those working in the international aid and development sector, whether they are practitioners, safeguarding specialists, senior leaders in governance roles or regulators. The emphasis is on facilitating sector-wide change, embedding best practice and encouraging work that effectively ensures the safety and wellbeing of the world’s most vulnerable people.
Abstract State Machines, Alloy, B and Z
Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings
Häftad, Engelska, 2010
554 kr
Skickas inom 10-15 vardagar
ABZ 2010 was held in the beautiful natural setting of Orford in the Eastern Townships of Qu' ebec,during February22-25,2010,midwaythroughthe Ca- dian winter and the 21st Winter Olympics, bringing participants from all over the world to brave this rigorous climate. ABZcoversrecentadvancesinfourequallyrigorousmethodsforsoftwareand hardware development: Abstract State Machines (ASM), Alloy, B and Z. They shareacommonconceptualframework,centeredaroundthe notionsofstateand operation,andpromotemathematicalprecisioninthemodeling,veri?cation,and construction of highly dependable systems. These methods have continuously matured over the past decade, reaching a stage where they have been successfully integrated into industrial practice in various areas like trains, automobiles, aerospace, smart cards, virtual machines, and business processes. Their development is in?uenced by both research and practice, which mutually nurture each other. ABZ has both a long and a short history. With the aim of stimulating cro- fertilization between these four methods, it has merged their individual conf- ence and workshopseries which started in 1986 for Z, 1994 for ASM, 1996 for B, and 2006 for Alloy. The ?rst ABZ conference was held in London in 2008; ABZ 2010 is the second edition.The conference remains organized as four separate Program Committees.
Abstract State Machines, Alloy, B, VDM, and Z
Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
Häftad, Engelska, 2012
538 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. The 20 full papers presented together with 2 invited talks and 13 short papers were carefully reviewed and selected from 59 submissions. The ABZ conference series is dedicated to the cross-fertilization of five related state-based and machine-based formal methods: Abstract State Machines (ASM), Alloy, B, VDM, and Z. They share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. The main goal of this conference series is to contribute to the integration of these formal methods, clarifying their commonalities and differences to better understand how to combine different approaches for accomplishing the various tasks in modeling, experimental validation and mathematical verification of reliable high-quality hardware/software systems.