Bowen J., Dunne S., Galloway A. — 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
Обсудите книгу на
Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: 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
Авторы: Bowen J., Dunne S., Galloway A.
Аннотация:
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.
|
|
О проекте