Graeme Smith

Object-Z is an object-oriented extension of the formal specification language Z. It adds to Z notions of classes and objects, and inheritance and polymorphism. By extending Z's semantic basis, it enables the specification of systems as collections of independent objects in which self and mutual referencing are possible. The Object-Z Specification Language presents a comprehensive description of Object-Z including discussions of semantic issues, definitions of all language constructs, type rules and other rules of usage, specification guidelines, and a full concrete syntax. It will enable you to confidently construct Object-Z specifications and is intended as a reference manual to keep by your side as you use and learn to use Object-Z. The Object-Z Specification Language is suitable as a textbook or as a secondary text for a graduate-level course, and as a reference for researchers and practitioners in industry.

What does it mean to call Western society 'secular'? What is 'secularism'? And how should we understand the concept of 'secularism' in international relations, particularly the clash between radical Islam and the West? The Latin term from which the word 'secular' is derived - 'saeculum' - means 'generation' or 'age', and came to mean that which belongs to this life, to the here and now, in this world. It is widely used as a shorthand for the ideology which shapes contemporary society without reference to the divine. However, according to Graeme Smith, 'secularism' represents a great deal more. He offers a radical reappraisal of the notion of secularism and its history, beginning with the Greeks and proceeding to modernity and the contemporary period. The assumption that the West is becoming increasingly secular is often unquestioned. By contrast, Dr Smith discerns a different kind of society: one informed by a historical legacy which makes sense only when it is appreciated that it is religious. Secularism was born of Christianity. Daringly - and very originally - Smith argues that it is impossible to understand the idea of the secular without appreciating that, at root, it is Christian. "A Short History of Secularism" will fundamentally reshape discussions of western culture, religion and politics. It will have strong appeal to students of religion, political philosophy, and the history of ideas.

Many nurses work as specialist practitioners within several areas of gastrointestinal medicine, including inflammatory bowel disease, stoma care, nutrition, endoscopy and counselling. There has been a steady increase in nurse-led services and gastrointestinal nursing is an expanding area. This comprehensive text lays the foundation by reviewing the anatomy and physiology underlying common conditions before covering the pathophysiology of clinical features, causes, investigation and management. Underlying this approach will be the specific nursing aspects of caring for patients with gastrointestinal conditions, covering psychosocial factors and issues such as the measurement of health related quality of life.

This thorough guide to education in nursing is structured into five parts: * What is nursing? * Biological sciences related to nursing * Social sciences in nursing * An introduction to clinical skills in nursing * Study skills Emphasis in the first section is on where nursing fits into the health care system in the 21st century. The patient is identified as the recipient of nursing care and effective communication skills are outlined. Get Set for Nursing then provides the student with a clear and accessible guide to all elements of a nursing degree, including an introduction to biological, psychological and social sciences. It prepares the student not only for the common foundation programme element of nurse education but also nurse registration. The final sections provide the student with a guide to the nursing and study skills required at university. Features: * Covers the common foundation programme * Addresses the theoretical and clinical skills that a student nurse will encounter

Object-Z is an object-oriented extension of the formal specification language Z. It adds to Z notions of classes and objects, and inheritance and polymorphism. By extending Z's semantic basis, it enables the specification of systems as collections of independent objects in which self and mutual referencing are possible. The Object-Z Specification Language presents a comprehensive description of Object-Z including discussions of semantic issues, definitions of all language constructs, type rules and other rules of usage, specification guidelines, and a full concrete syntax. It will enable you to confidently construct Object-Z specifications and is intended as a reference manual to keep by your side as you use and learn to use Object-Z. The Object-Z Specification Language is suitable as a textbook or as a secondary text for a graduate-level course, and as a reference for researchers and practitioners in industry.