158237

Woodcock, Jim

تاليف جيم وودكاك، جيم ديويس

ترجمه زهرا كريمي، مرجان كائدي، فاطمه حسنوند

1402

[385] ص مصور (بخشي رنگي)، جدول

Using Z : specification, refinement, and proof, 1996

پ ديويس ، جيم Davies , Jim , پ 730 كريمي ، زهرا ، 1356 شهريور- , پ 730 كائدي ، مرجان ، 1361 - , پ 730 حسنوند ، فاطمه ، 1375-

005

/12

و819الف

1402

978-600-7997-87-1