ZB 2005: Formal Specification and Development in Z and B: 4th International Conf
122,18 €
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. - Model Checking Z Specifications Using SAL.
Jetzt bei Ebay:
