libcats.org
Главная →

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

Обложка книги 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

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

, , ,
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.
Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.
Популярные книги за неделю:
Только что пользователи скачали эти книги: