Поиск
На сайте: 567988 статей, 285489 фото.

Zb 2002: Formal Specification and Development in Z and B (книга)

Zb 2002: Formal Specification and Development in Z and B
Автор: France) International Conference of B and Z Users 2002 Grenoble
J. P. Bowen
M. C. Henson
K. Robinson
D. Bert
Didier Bert
Оригинал издан: ????

«Zb 2002: Formal Specification and Development in Z and B»книга ???? года.

Содержание

Содержание

От издателя

«…»

Рецензии

См. также

Ссылки