Proceedings of the First International Conference of B and Z Users, held in York, UK, August 29September 2, 2000. This conference featured tool demonstrations in addition to the already distinguished presentations, as well as special tutorials, and other meetings. Softcover.

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

---

Читать «ZB 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings »