ZB 2002: Formal Specification and Development in Z and B: 2nd International Conf
69,04 €
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 24 papers presented together with three invited contributions were carefully reviewed and selected for inclusion in the book.
Jetzt bei Ebay:
