Поиск
На сайте: 567989 статей, 285490 фото.

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

Zb 2000: Formal Specification and Development in Z and B
Автор: Jonathan P. Bowen
Steve Dunne
Andy Galloway
Steve King
Оригинал издан: ????

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

Содержание

Содержание

От издателя

«…»

Рецензии

См. также

Ссылки