Abstract State Machines, B and Z: First International Conference, Abz 2008, London, Uk, September 16-18, 2008. Proceedings

by Egon Börger

The ABZ 2008 conference was held in London during September 16-18, 2008. The conference aimed at contributing to the cross-fertilization of three rigorous methods that share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and so- waresystems, namely, abstractstate machines, B, andZ. It followedonfromthe Dagstuhl seminar on Rigorous Methods for Software Construction and Ana- sis,...

• Format: Paperback
• Language: English
• ISBN: 3540876022
• ISBN13: 9783540876021
• Release Date: September 2008
• Publisher: Springer
• Length: 384 Pages
• Weight: 1.35 lbs.
• Dimensions: 1.0" x 6.0" x 9.2"