Product Description: ABZ 2010 was held in the beautiful natural setting of Orford in the Eastern Townships of Qu´ ebec,during February22-25,2010,midwaythroughthe Ca- dian winter and the 21st Winter Olympics, bringing participants from all over the world to brave this rigorous climate...read more

Product Description: These proceedings record the papers presented at the 4th International Conf- ence of B and Z Users (ZB 2005), held in the city of Guildford in the south-east ofEngland. Thisconferencebuiltonthesuccessofthepreviousthreeconferences in this series, ZB 2000, held at the University of York in the UK, ZB 2002, held at theLaboratoire Logiciels Syst` emes R´ eseaux within theInstitut d'Informatique et Math´ ematique Appliqu´ ees de Grenoble (LSR-IMAG) in Grenoble, France, and ? ZB 2003, held in Turku in Finland hosted by Abo Akademi University and the TurkuCentreforComputerScience(TUCS)...read more

Product Description: 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 presented together with 3 invited papers were carefully reviewed and selected for inclusion in the book...read more

(view table of contents)

Product Description: This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995.The book contains 34 carefully selected papers on Z, using Z, applications of Z, proof, testing, industrial usage, object orientation, animation of specification, method integration, and teaching formal methods...read more

Product Description: The mathematical concepts and notational conventions we know of as Z were first proposed around 1981. Its origins were in line with the objectives of the PRG - to establish a mathematical basis for program­ ming concepts and to verify the work by case studies with industry...read more