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» — книга ???? года.
Содержание |
Содержание 
От издателя
«…»
Рецензии
См. также
Ссылки
| Это незавершённая статья о литературе или литературном произведении. Вы можете помочь проекту, исправив и дополнив её. |
