Proceedings of the 2nd Intl Conference of B and Z Users, held January 23-25, 2002 in Grenoble, France. Provides recent advances for the Z formal specification notion and for the B method. Softcover.

Скачать книгу бесплатно (pdf, 3.54 Mb)

---

Читать «ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings »