دانلود کتاب ZUM '97: The Z Formal Specification Notation: 10th International Conference of Z Users Reading, UK, April 3–4, 1997 Proceedings
by Constance Heitmeyer (auth.), Jonathan P. Bowen, Michael G. Hinchey, David Till (eds.)
|
عنوان فارسی: ZUM '97: نماد مشخصات رسمی Z: دهمین کنفرانس بین\المللی خواندن کاربران Z، انگلستان، 3 تا 4 آوریل 1997 مجموعه مقالات |