|
A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and designing systems using an extension of the B formal method: Event-B. Based on the idea of refinement, the author's systematic approach allows the user to construct models gradually and to facilitate a systematic reasoning method by means of proofs. Readers will learn how to build models of programs and, more generally, discrete systems, but this is all done with practice in mind. The numerous examples provided arise from various sources of computer system developments, including sequential programs, concurrent programs and electronic circuits. The book also contains a large number of exercises and projects ranging in difficulty. Each of the examples included in the book has been proved using the Rodin Platform tool set, which is available free for download at www.event-b.org. |
|
|
How to Sell to Retail: The Secrets of Getting Your Product to Market
It is notoriously difficult for a small brand or start-up business to sell products or services to a retail chain. Feared for ruthless buying habits, fierce negotiations skills and the ability to swiftly reproduce someone's ideas, pitching to a retailer can be a double-edged sword. How to Sell to Retail takes the reader through a... | | Freedom and Evolution: Hierarchy in Nature, Society and Science
The book begins with familiar designs found all around and inside us (such as the ‘trees’ of river basins, human lungs, blood and city traffic). It then shows how all flow systems are driven by power from natural engines everywhere, and how they are endlessly shaped because of freedom. Finally, Professor Bejan explains ... | | Evaluation and Management of Dysphagia: An Evidence-Based Approach
This book provides a state-of-the-art overview of dysphagia. The text reviews current evidence behind the diagnosis, evaluation, and management of esophageal disorders that cause dysphagia, including GERD, eosinophilic esophagitis, achalasia, and spastic motor disorders. The book also focuses on the different variants of dysphagia, from ... |
|