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

The refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003. The 28 revised full papers presen

This accessible text has been designed to help students make the step up from GCSE to A Level. The student book is presented in a double page spread format, mak

This book constitutes the refereed proceedings of the Second International Conference of B and Z Users, ZB 2002, held in Grenoble, France in January 2002. The 2

This book constitutes the refereed proceedings of the First International Conference of B and Z Users, ZB 2000, held in York, UK in August/September 2000. The 2