This book is about the use of techniques and tools for the design and implementation of computer systems and software that are free from logical or functional flaws (in the sense of functional requirements). The word rigorous in the title of this book is justified by the fact that the arguments for such fault freeness have their roots...

In the last decade, multi-agent systems have both become widely applied and also increasingly complex. The applications include the use of agents as automous decision makers in often safety-critical, dangerous, or high impact scenarios (traffic control, autonomous satellites, computational markets). The complexity arises from the fact...

This monograph presents a framework for modelling, specifying and verifying systems composed of real-time discrete event processes. A discrete event system consists of the plant (the object to be controlled) and a controller. For example, the plant might consist of machines, robots and conveyors on the factory floor. The objective of...

Chemical Engineering Volume 2 covers the properties of particulate systems, including the character of individual particles and their behaviour in fluids. Sedimentation of particles, both singly and at high concentrations, flow in packed and fluidised beads and filtration are then examined. The latter part of the book deals with separation...

This book is meant as a handbook and resource guide for chemists (and other scientists) who either find themselves working alongside chemical engineers or who are undertaking chemical engineering-type projects and who wish to communicate with their colleagues and understand chemical engineering principles. The book has arisen out of...

Electron Microscopy in Heterogeneous Catalysis describes the unique role electron microscopy plays in the immensely important field of heterogeneous catalysis. It brings together several disciplines, namely surface science, solid state chemistry and physics, materials science, chemical engineering and crystallography. The work described in...

The present volume...

This step-by-step guide will show you how to plan, set up and maintain Windows Intune,...