0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
Status
Brand

Showing 1 - 25 of 38 matches in All Departments

Embedding Sustainability, Corporate Social Responsibility and Ethics in Business Education (Hardcover): Helen Borland, Michael... Embedding Sustainability, Corporate Social Responsibility and Ethics in Business Education (Hardcover)
Helen Borland, Michael Butler, Caroline Elliott, Nathalie Ormrod
R2,731 Discovery Miles 27 310 Ships in 12 - 17 working days

If we want to nurture students as informed, progressive agents of change, we need to adopt non-traditional, transdisciplinary approaches when teaching them about ethics and sustainability. This innovative book demonstrates the best pedagogical techniques and approaches to incorporate sustainability, corporate social responsibility, and ethics in business and law education. Experienced teachers discuss the use of techniques such as Responsible Management Learning (RML) and non-linear decision-making gameplay in education, and find that alternative teaching and learning methods can encourage deep learning, integrated thinking and a transformative consumer research perspective. Forward-thinking, this book emphasises the importance of infusing the values of the United Nation's 17 Sustainable Development Goals into future curriculums, and discusses the eco-centric, embedded, transdisciplinary and personally transformative learning and teaching required to achieve these. With illustrative case studies and real-life reflections from students, it will prove invaluable for researchers of sustainability, corporate social responsibility and business ethics. Its discussions of assessment methods and student wellbeing will also prove a vital resource for educators and policymakers working in higher education in both the UK and internationally.

Return to Gan - An Illustrated Diary 1960 & 1998 (Paperback): Michael Butler Return to Gan - An Illustrated Diary 1960 & 1998 (Paperback)
Michael Butler
R395 Discovery Miles 3 950 Ships in 12 - 17 working days
The Effortless Mediterranean Diet Cookbook - Popular, Savory and Simple Mediterranean Diet Recipes to Manage Your Health with... The Effortless Mediterranean Diet Cookbook - Popular, Savory and Simple Mediterranean Diet Recipes to Manage Your Health with Step by Step Instructions (Hardcover)
Michael Butler
R758 Discovery Miles 7 580 Ships in 10 - 15 working days
Joey's Adventure (Hardcover): Ted Butler Joey's Adventure (Hardcover)
Ted Butler; Illustrated by Michelle Butler
R465 Discovery Miles 4 650 Ships in 10 - 15 working days
The Routledge Handbook of Irish Criminology (Paperback): Deirdre Healy, Claire Hamilton, Yvonne Daly, Michelle Butler The Routledge Handbook of Irish Criminology (Paperback)
Deirdre Healy, Claire Hamilton, Yvonne Daly, Michelle Butler
R1,381 Discovery Miles 13 810 Ships in 12 - 17 working days

The Routledge Handbook of Irish Criminology is the first edited collection of its kind to bring together the work of leading Irish criminologists in a single volume. While Irish criminology can be characterised as a nascent but dynamic discipline, it has much to offer the Irish and international reader due to the unique historical, cultural, political, social and economic arrangements that exist on the island of Ireland. The Handbook consists of 30 chapters, which offer original, comprehensive and critical reviews of theory, research, policy and practice in a wide range of subject areas. The chapters are divided into four thematic sections: Understanding crime examines specific offence types, including homicide, gangland crime and white-collar crime, and the theoretical perspectives used to explain them. Responding to crime explores criminal justice responses to crime, including crime prevention, restorative justice, approaches to policing and trial as well as post-conviction issues such as imprisonment, community sanctions and rehabilitation. Contexts of crime investigates the social, political and cultural contexts of the policymaking process, including media representations, politics, the role of the victim and the impact of gender. Emerging ideas focuses on innovative ideas that prompt a reconsideration of received wisdom on particular topics, including sexual violence and ethnicity. Charting the key contours of the criminological enterprise on the island of Ireland and placing the Irish material in the context of the wider European and international literature, this book is essential reading for those involved in the study of Irish criminology and international and comparative criminal justice.

Imprisoned Fathers - Responding to a Growing Concern (Paperback): Catherine Flynn, Michelle Butler Imprisoned Fathers - Responding to a Growing Concern (Paperback)
Catherine Flynn, Michelle Butler
R1,172 Discovery Miles 11 720 Ships in 12 - 17 working days

This volume specifically examines current concerns about imprisoned fathers and highlights best practices with a group of children and parents who present significant vulnerabilities. It brings together contemporary works in this area, to share and consolidate knowledge, to encourage comparisons and collaborations across jurisdictions, and to stimulate debate, all with the aim of furthering knowledge and improving practice in this area. Although there is considerable focus on imprisoned mothers, there is limited knowledge or understanding of the needs, experiences, or effective responses to imprisoned fathers and their children, despite men making up the vast majority of the prison population. The ongoing and negative impact of parental incarceration on children is well documented, and includes emotional and behavioural consequences, marginalisation, and stigma, as well as financial and social stresses. However, understanding of these processes, and, importantly, what can assist children and families, is poor. This book seeks to add to the understanding of paternal imprisonment by providing an in-depth exploration of how the arrest, detention, and experiences of fathers during imprisonment can affect their ability to parent and meet the needs of their children. This book was originally published as a special issue of Child Care in Practice.

Cell Culture and Upstream Processing (Paperback): Michael Butler Cell Culture and Upstream Processing (Paperback)
Michael Butler
R3,031 Discovery Miles 30 310 Ships in 12 - 17 working days

Upstream processing refers to the production of proteins by cells genetically engineered to contain the human gene which will express the protein of interest. The demand for large quantities of specific proteins is increasing the pressure to boost cell culture productivity, and optimizing bioreactor output has become a primary concern for most pharmaceutical companies. Each chapter in Cell Culture and Upstream Processing is taken from presentations at the highly acclaimed IBC conferences as well as meetings of the European Society for Animal Cell Technology (ESACT) and Protein Expression in Animal Cells (PEACe) and describes how to improve yield and optimize the cell culture production process for biopharmaceuticals, by focusing on safety, quality, economics and operability and productivity issues. Cell Culture and Upstream Processing will appeal to a wide scientific audience, both professional practitioners of animal cell technology as well as students of biochemical engineering or biotechnology in graduate or high level undergraduate courses at university.

Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018,... Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings (Paperback, 1st ed. 2018)
Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl
R1,514 Discovery Miles 15 140 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018. The 20 full and 11 short papers presented in this volume were carefully reviewed and selected from 60 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z.

Methods, Models and Tools for Fault Tolerance (Paperback, 2009 ed.): Michael Butler, Cliff B. Jones, Alexander Romanovsky,... Methods, Models and Tools for Fault Tolerance (Paperback, 2009 ed.)
Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna
R1,486 Discovery Miles 14 860 Ships in 10 - 15 working days

The growing complexity of modern software systems increases the di?culty of ensuring the overall dependability of software-intensive systems. Complexity of environments, in which systems operate, high dependability requirements that systems have to meet, as well as the complexity of infrastructures on which they rely make system design a true engineering challenge. Mastering system complexity requires design techniques that support clear thinking and rigorous validation and veri?cation. Formal design methods help to achieve this. Coping with complexity also requires architectures that are t- erant of faults and of unpredictable changes in environment. This issue can be addressed by fault-tolerant design techniques. Therefore, there is a clear need of methods enabling rigorous modelling and development of complex fault-tolerant systems. This bookaddressessuchacuteissues indevelopingfault-tolerantsystemsas: - Veri?cation and re?nement of fault-tolerant systems - Integrated approaches to developing fault-tolerant systems - Formal foundations for error detection, error recovery, exception and fault handling - Abstractions, styles and patterns for rigorousdevelopment of fault tolerance - Fault-tolerant software architectures - Development and application of tools supporting rigorous design of depe- able systems - Integrated platforms for developing dependable systems - Rigorous approaches to speci?cation and design of fault tolerance in novel computing systems TheeditorsofthisbookwereinvolvedintheEU(FP-6)projectRODIN(R- orous Open Development Environment for Complex Systems), which brought together researchers from the fault tolerance and formal methods communi- 1 ties. In 2007 RODIN organized the MeMoT workshop held in conjunction with the Integrated Formal Methods 2007 Conference at Oxford University.

Abstract State Machines, B and Z - First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings... Abstract State Machines, B and Z - First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings (Paperback, 2008 ed.)
Egon Boerger, Michael Butler, Jonathan P. Bowen, Paul Boca
R1,500 Discovery Miles 15 000 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. The conference simultaneously incorporated the 15th International ASM Workshop, the 17th International Conference of Z Users and the 8th International Conference on the B Method.

The 44 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from numerous submissions. The conference fosters the cross-fertilization of three rigorous methods for the design and analysis of hardware and software systems - both in academia and industry - namely Abstract State Machines, B, and Z. Covering a wide range of research spanning from theoretical and methodological foundations to tool support and practical applications, the contributions are organized in topical sections on abstract state machines, B papers, Z papers, ABZ short papers, and the papers of the Verified Software Repository Network (VSR-net) workshop.

Formal Methods and Software Engineering - 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton,... Formal Methods and Software Engineering - 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings (Paperback, 2007 ed.)
Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie
R1,500 Discovery Miles 15 000 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 9th International Conference on Formal Engineering Methods, ICFEM 2007, held in Boca Raton, Florida, USA, November 14-15, 2007.

The 19 revised full papers together with 2 invited talks presented were carefully reviewed and selected from 38 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on security and knowledge, embedded systems, testing, automated analysis, hardware and concurrency.

Integrated Formal Methods - Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings. (Paperback,... Integrated Formal Methods - Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings. (Paperback, 2002 ed.)
Michael Butler, Luigia Petre, Kaisa Sere
R1,631 Discovery Miles 16 310 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the Third International Conference on Integrated Formal Methods, IFM 2002, held in Turku, Finland, in May 2002.The 18 revised full papers presented together with three invited papers were carefully reviewed and selected from a total of 46 submissions. The papers are organized in topical sections on integration, simulation, and animation; from specification to verification; statcharts and B: integration and translation; model checkers and theorem provers; links between object-Z and CSP; combining graphical and formal approaches; and refinement and proof.

Imprisoned Fathers - Responding to a Growing Concern (Hardcover): Catherine Flynn, Michelle Butler Imprisoned Fathers - Responding to a Growing Concern (Hardcover)
Catherine Flynn, Michelle Butler
R3,873 Discovery Miles 38 730 Ships in 12 - 17 working days

This volume specifically examines current concerns about imprisoned fathers and highlights best practices with a group of children and parents who present significant vulnerabilities. It brings together contemporary works in this area, to share and consolidate knowledge, to encourage comparisons and collaborations across jurisdictions, and to stimulate debate, all with the aim of furthering knowledge and improving practice in this area. Although there is considerable focus on imprisoned mothers, there is limited knowledge or understanding of the needs, experiences, or effective responses to imprisoned fathers and their children, despite men making up the vast majority of the prison population. The ongoing and negative impact of parental incarceration on children is well documented, and includes emotional and behavioural consequences, marginalisation, and stigma, as well as financial and social stresses. However, understanding of these processes, and, importantly, what can assist children and families, is poor. This book seeks to add to the understanding of paternal imprisonment by providing an in-depth exploration of how the arrest, detention, and experiences of fathers during imprisonment can affect their ability to parent and meet the needs of their children. This book was originally published as a special issue of Child Care in Practice.

Animal Cell Culture and Technology (Paperback, 2nd edition): Michael Butler Animal Cell Culture and Technology (Paperback, 2nd edition)
Michael Butler
R1,608 Discovery Miles 16 080 Ships in 12 - 17 working days

Animal cell culture is an important laboratory technique in the biological and medical sciences. It has become an essential tool for the study of most biochemical and physiological processes and the use of large-scale animal cell culture has become increasingly important to the commercial production of specific compounds for the pharmaceutical industry. This book describes the basic requirements for establishing and maintaining cell cultures both in the laboratory and in large-scale operations. Minimal background knowledge of the subject is assumed and therefore it will be a readable introduction to animal cell culture for undergraduates, graduates and experienced researchers. Reflecting the latest developments and trends in the field, the new topics include the latest theory of the biological clock of cell lines, the development of improved serum-free media formulations, the increased understanding of the importance and control of protein glycosylation, and the humanization of antibodies for therapeutic use.

This Marlowe (Hardcover): Michelle Butler-Hallett This Marlowe (Hardcover)
Michelle Butler-Hallett
R779 R624 Discovery Miles 6 240 Save R155 (20%) Ships in 12 - 17 working days

Longlisted, 2018 International DUBLIN Literary AwardLong-shortlisted, 2017 ReLit Awards1593. Queen Elizabeth reigns from the throne while two rival spymasters - Sir Robert Cecil and the Earl of Essex - plot from the shadows. Their goal? To control succession upon the aged queen's death. The man on which their schemes depend? Christopher Marlowe, a cobbler's son from Canterbury who has defied expectations and become an accomplished poet and playwright. Now that the plague has closed theatres, Marlowe must resume the work for which he was originally recruited: intelligence and espionage. Fighting to stay one step ahead in a dizzying game that threatens the lives of those he holds most dear, Marlowe comes to question his allegiances and nearly everything he once believed. As tensions mount, he is tossed into an impossible bind. He must choose between paths that lead either to wretched guilt and miserable death or to love and honour. An historical novel with a contemporary edge, This Marlowe measures the weight of the body politic, the torment of the flesh, and the state of the soul.

Global Politics (Paperback): Mark Boyer, Natalie Hudson, Michael Butler Global Politics (Paperback)
Mark Boyer, Natalie Hudson, Michael Butler
R2,906 R2,397 Discovery Miles 23 970 Save R509 (18%) Ships in 12 - 17 working days

The world is becoming an ever smaller place-through globalization, finance and economics, technology, media, and the many global issues that transcend borders. As a result, undergraduates studying Global Politics and International Relations need a more integrated, applied, and practical approach for making sense of the world around them. In Global Politics: Applying Theory to a Complex World, authors Mark Boyer, Natalie Hudson, and Michael Butler have developed an approach to the subject that integrates historical context where necessary in the discussion of global issues and integrates the mainstream theoretical approaches within every chapter to provide students a rich and meaningful way to understand and critically analyze what is happening in the world today. Global Politics covers all of the standard topics in the undergraduate level IR/Global Politics course, and also provides more robust coverage of global ecology; gender and race; the different security challenges of our day that go beyond armed conflict; IPE coverage that highlights the divergent paths of the Global North and South; and the growing reliance upon international law, international organizations, and global and regional governance. Utilizing a familiar organization and emphasis of topics, the authors have developed a compelling narrative and features to captivate students who are both "worldly" and "naive" at the same time.

The Routledge Handbook of Irish Criminology (Hardcover): Deirdre Healy, Claire Hamilton, Yvonne Daly, Michelle Butler The Routledge Handbook of Irish Criminology (Hardcover)
Deirdre Healy, Claire Hamilton, Yvonne Daly, Michelle Butler
R6,176 Discovery Miles 61 760 Ships in 12 - 17 working days

The Routledge Handbook of Irish Criminology is the first edited collection of its kind to bring together the work of leading Irish criminologists in a single volume. While Irish criminology can be characterised as a nascent but dynamic discipline, it has much to offer the Irish and international reader due to the unique historical, cultural, political, social and economic arrangements that exist on the island of Ireland. The Handbook consists of 30 chapters, which offer original, comprehensive and critical reviews of theory, research, policy and practice in a wide range of subject areas. The chapters are divided into four thematic sections: Understanding crime examines specific offence types, including homicide, gangland crime and white-collar crime, and the theoretical perspectives used to explain them. Responding to crime explores criminal justice responses to crime, including crime prevention, restorative justice, approaches to policing and trial as well as post-conviction issues such as imprisonment, community sanctions and rehabilitation. Contexts of crime investigates the social, political and cultural contexts of the policymaking process, including media representations, politics, the role of the victim and the impact of gender. Emerging ideas focuses on innovative ideas that prompt a reconsideration of received wisdom on particular topics, including sexual violence and ethnicity. Charting the key contours of the criminological enterprise on the island of Ireland and placing the Irish material in the context of the wider European and international literature, this book is essential reading for those involved in the study of Irish criminology and international and comparative criminal justice.

Theoretical Cybersecurity - Principles and Advanced Concepts (Paperback, 1st ed.): Jacob G. Oakley, Michael Butler, Wayne York,... Theoretical Cybersecurity - Principles and Advanced Concepts (Paperback, 1st ed.)
Jacob G. Oakley, Michael Butler, Wayne York, Matthew Puckett, J. Louis Sewell
R1,273 R1,011 Discovery Miles 10 110 Save R262 (21%) Ships in 10 - 15 working days

There is a distinct lack of theoretical innovation in the cybersecurity industry. This is not to say that innovation is lacking, as new technologies, services, and solutions (as well as buzzwords) are emerging every day. This book will be the first cybersecurity text aimed at encouraging abstract and intellectual exploration of cybersecurity from the philosophical and speculative perspective. Technological innovation is certainly necessary, as it furthers the purveying of goods and services for cybersecurity producers in addition to securing the attack surface of cybersecurity consumers where able. The issue is that the industry, sector, and even academia are largely technologically focused. There is not enough work done to further the trade-the craft of cybersecurity. This book frames the cause of this and other issues, and what can be done about them. Potential methods and directions are outlined regarding how the industry can evolve to embrace theoretical cybersecurity innovation as it pertains to the art, as much as to the science. To do this, a taxonomy of the cybersecurity body of work is laid out to identify how the influences of the industry's past and present constrain future innovation. Then, cost-benefit analysis and right-sizing of cybersecurity roles and responsibilities-as well as defensible experimentation concepts-are presented as the foundation for moving beyond some of those constraining factors that limit theoretical cybersecurity innovation. Lastly, examples and case studies demonstrate future-oriented topics for cybersecurity theorization such as game theory, infinite-minded methodologies, and strategic cybersecurity implementations. What you'll learn The current state of the cybersecurity sector and how it constrains theoretical innovation How to understand attacker and defender cost benefit The detect, prevent, and accept paradigm How to build your own cybersecurity box Supporting cybersecurity innovation through defensible experimentation How to implement strategic cybersecurity Infinite vs finite game play in cybersecurity Who This Book Is For This book is for both practitioners of cybersecurity and those who are required to, or choose to, employ such services, technology, or capabilities.

Introduction to Organisational Behaviour (Paperback, New ed.): Michael Butler, Ed Rose Introduction to Organisational Behaviour (Paperback, New ed.)
Michael Butler, Ed Rose
R1,464 Discovery Miles 14 640 Ships in 12 - 17 working days

A brand new core text for organisational behaviour modules.About the Book Introduction to Organisational Behaviour is a print and electronic learning package for introductory modules. It includes a textbook full of learning features and a comprehensive set of online resources and video clips.Key Features Integrated multimedia package with videoed practitioner interviews, key skills video clips and author interviews The first text to explicitly and systematically link OB and key skills Tailored range of electronic resources with an area targeted at lecturers who have just started teaching OB and an area targeted at those who have taught OB before. 'Take your Learning Further' boxes in each chapter with suggestions of seminal books and articles to read Focus on future employability with key skills boxes and video clips Market / Audience Undergraduate students taking a module in organisational behaviour.

Essential Nurse Prescribing (Paperback): Molly Courtenay, Michele Butler Essential Nurse Prescribing (Paperback)
Molly Courtenay, Michele Butler
R1,445 Discovery Miles 14 450 Ships in 12 - 17 working days

Nurses working within the expanded role of prescriber will frequently be faced with prescribing decisions. This text provides easily accessible information upon which to base these decisions, ensuring safe and effective prescribing practices. Each chapter examines the preparations available to nurses in the extended formulary and their effects on the human body. Information including product dosage, contraindications, side effects, drug interactions, and specific nursing points is presented in detail. This text provides key background information from the relevant life sciences, as it applies to modern clinical practice. The authors have brought together widely available information in the form of a single, easy to use, practice-based text, which, in conjunction with the BNF, Drug Tariff and manufacturers' product information sheets, provides an essential guide to nurse prescribing.

This Marlowe (Paperback): Michelle Butler-Hallett This Marlowe (Paperback)
Michelle Butler-Hallett
R541 R434 Discovery Miles 4 340 Save R107 (20%) Ships in 12 - 17 working days

Longlisted, 2018 International DUBLIN Literary AwardLong-shortlisted, 2017 ReLit Awards"Complex, lyrical, and with a profound sense of a world long passed and humanity's eternal motivations." -- Quill & Quire"In Butler Hallett's hands, Kit comes off as a fascinating and contradictory figure, part martyred freethinker and part unscrupulous opportunist." -- Winnipeg Review"Perfectly paced and gracefully wrought." -- Toronto Star1593. Queen Elizabeth still reigns but grows old. Two rival spymasters -- Sir Robert Cecil and the Earl of Essex -- plot from the shadows. Their goal: to control succession upon the aged queen's death. The man on which their schemes depend: Christopher Marlowe ("Kit" to his friends), a cobbler's son from Canterbury who has defied expectations and become an accomplished poet and playwright. And spy. As the novel opens, Kit Marlowe, fresh from betraying the target of his espionage, is himself betrayed. Fighting to stay one step ahead in a dizzying game that threatens the lives of those he holds most dear, including his beloved Tom Kyd, he comes to question his allegiances and nearly everything he once believed. In this psychological thriller, Michelle Butler Hallett fleshes out the historical record with insight and the rigor of authenticity. Her 16th-century England, surprising and fresh, offers historical figures both famous and obscure, casual descriptions of quotidian life, and vivid representations of cruelty and violence that reverberate with echoes of our own time. But it's Kit, the fascinating Marlowe, an endless source of brilliance, passion and defiance, that brings the novel to life. Writes playwright Robert Chafe, "History's Marlowe becomes [Butler Hallet's] own, offering us his wit and wisdom and seemingly new lessons about faith, ambition, loyalty, and yes, love."

Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016,... Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings (Paperback, 1st ed. 2016)
Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro
R1,514 Discovery Miles 15 140 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz, Austria, in May 2016. The 17 full and 15 short papers presented in this volume were carefully reviewed and selected from 61 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z.

Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris,... Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings (Paperback, 1st ed. 2015)
Michael Butler, Sylvain Conchon, Fatiha Zaidi
R2,749 Discovery Miles 27 490 Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support.

Rigorous Development of Complex Fault-Tolerant Systems (Paperback, 2006 ed.): Michael Butler, Cliff Jones, Alexander... Rigorous Development of Complex Fault-Tolerant Systems (Paperback, 2006 ed.)
Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna
R1,519 Discovery Miles 15 190 Ships in 10 - 15 working days

Many software systems have reached a level of complication, mainly because of their size, heterogeneity and distribution, which results in faults appearing that cannot be traced back easily to the code. Some of these "faults" could also be unexpected program behavior that appears as a result of interactions between different parts of the program; this is commonly known as complexity. New methods, approaches, tools and techniques are needed to cope with the increasing complexity in software systems; amongst them, fault-tolerance techniques and formal methods, supported by the corresponding tools, are promising solutions. This book brings together papers focusing on the application of rigorous design techniques to the development of fault-tolerant, software-based systems.

This volume is an outcome of the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held in conjunction with the Formal Methods 2005 conference at Newcastle upon Tyne, UK, in July 2005. The authors of the best workshop papers were asked to enhance and expand their work and a number of well-established researchers working in the area contributed invited chapters. From the 19 refereed and revised papers presented, 12 are versions reworked from the workshop; 9 of them are totally new. The book is rounded off by two provocatively different position on the role of programming languages.

The Effortless Mediterranean Diet Cookbook - Popular, Savory and Simple Mediterranean Diet Recipes to Manage Your Health with... The Effortless Mediterranean Diet Cookbook - Popular, Savory and Simple Mediterranean Diet Recipes to Manage Your Health with Step by Step Instructions (Paperback)
Michael Butler
R524 Discovery Miles 5 240 Ships in 10 - 15 working days
Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Major Tech 10 Pack LED Lamp…
R330 R265 Discovery Miles 2 650
Braai
Reuben Riffel Paperback R495 R359 Discovery Miles 3 590
Sylvanian Families Country Tree School
 (7)
R1,499 R749 Discovery Miles 7 490
Gloria
Sam Smith CD R187 R177 Discovery Miles 1 770
Discovering Daniel - Finding Our Hope In…
Amir Tsarfati, Rick Yohn Paperback R280 R210 Discovery Miles 2 100
Cable Guys Controller and Smartphone…
R399 R359 Discovery Miles 3 590
Multi-Functional Bamboo Standing Laptop…
R595 R289 Discovery Miles 2 890
Loot
Nadine Gordimer Paperback  (2)
R383 R310 Discovery Miles 3 100
Sluggem Pellets (500g)
R234 Discovery Miles 2 340
Casio LW-200-7AV Watch with 10-Year…
R999 R884 Discovery Miles 8 840

 

Partners