This book gives a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE

Introducing abstract machines - Review of set theory and logic - Weakest preconditions - Towards machine consistency - Parameters, sets, and constants - Relatio

The Idea of Program Refinement Programs are complex. They are typically so complex, that they go beyond the full comprehension even of the programmer or team wh

This book constitutes the refereed proceedings of the 13th International Conference on Concurrency Theory, CONCUR 2002, held in Brno, Czech Republic in August 2

Software is an essential enabler for science and the new economy. It creates new markets and directions for a more reliable, flexible and robust society and emp