دانلود کتاب ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings
by Daniel Jackson (auth.)
|
عنوان فارسی: ZB 2003 : مشخصات رسمی و توسعه در Z و B: سومین کنفرانس بین المللی B و Z کاربران تورکو، فنلاند ، ژوئن 4-6، 2003 مقالات |
دانلود کتاب
جزییات کتاب
درباره نویسنده
![](https://upload.wikimedia.org/wikipedia/commons/thumb/7/77/Michael_Shanks_Creation_Con_2007_%282%29.jpg/40px-Michael_Shanks_Creation_Con_2007_%282%29.jpg)