Online Library TheLib.net » Author books / Книги автора Cliff B. Jones (auth.) Helen Treharne Steve King Martin Henson Steve Schneider (eds.)
book ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings
ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings
pdf
00
27.01.2024
0
0
Read online