Ursula Martin - Böcker
Visar alla böcker från författaren Ursula Martin. Handla med fri frakt och snabb leverans.
3 produkter
3 produkter
146 kr
Skickas inom 7-10 vardagar
The bestselling author of One Woman Walks Wales travels from Ukraine to the UK. In this epic test of stamina and will, 5500 miles over 2 years, Ursula starts in Kyiv and crosses Ukraine, Romania,Bulgaria, Serbia, Montenegro, Bosnia, Croatia, Slovenia, Italy, France, Spain and the UK.
146 kr
Skickas inom 7-10 vardagar
Having returned home for Christmas from time out travelling in Europe, what should have been a routine trip to the doctor left 31- year-old Ursula with a diagnosis of Stage 1A Ovarian cancer. Only 46% of all UK women diagnosed with ovarian cancer will still be alive 5 years later. Determined not to sink into self-pity Ursula decided that she would continue her travels and walk between her home in mid Wales and hospital appointments in Bristol. This decision led to her plan to walk Wales publicising the need for early detection for the disease which kills far too many patients due to ignorance of symptoms. In the 17 months it took to walk Wales, Ursula's journey took her across, around, up, over and through all of Wales from beaches to mountains, farms to urban sprawl. She met many sheep and a surprising number of walkers keen to accompany her for part of her journey. Ursula raised over 11,000 pounds for her two chosen charities. One Woman Walks Wales is a story of determination, tears and laughter, joy and pain, and a fascinating insight into not just one woman during a testing time, but a country, its landscape and its people.
First International Workshop on Larch
Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13–15 July 1992
Häftad, Engelska, 1993
552 kr
Skickas inom 10-15 vardagar
The LARCH family of formal specification languages and tools was originally developed in the USA. Its user community has now spread to Europe and several industrial trial firms are interested in using it in their system development programs. It differs from the other "higher profile file" languages such as Z and VDM in three respects: firstly, it was designed to specify programs rather than mathematical models and therefore addresses the complexities of real programs; secondly, it has been specifically developed as a practical tool for use in several major application domains; finally, it has a state-of-the-art semantic analysis tool in the form of the LARCH Prover. This volume contains the papers presented at the First International Workshop on LARCH, held in Dedham, USA, 13-15 July 1992. The workshop brought together for the first time those who have designed the LARCH languages, built tool support for them, and used them to specify and reason about soft- and hardware systems. It encouraged discussion about how the LARCH languages and Prover are being used, and assessed plans for development oping them.The aim of the workshop was to raise the profile of LARCH, and to provide impetus for continued research into its tools and languages. Among the topics covered in this volume are: the mechanical verification of concurrent systems with TLA; the DECspec project; the preliminary design of LARCH/C++; generating proof obligations for circuits; lock-level verification; checking software design using formal specifications; optimising programs with specifications; and a report on the formal basis of generics. "First International Workshop on LARCH" provides a comprehensive overview of the international use and development of LARCH. It should be useful to researchers and practitioners who are already involved with, or who wish to know more about, this important specification language.