دانلود کتاب 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
by Cliff B. Jones (auth.)
|
عنوان فارسی: ZB 2005 : مشخصات رسمی و توسعه در Z و B: 4 کنفرانس بین المللی B و Z کاربران ، گیلفورد ، UK ، آوریل 13-15، 2005. مجموعه مقالات |