شماره ركورد
158237
پديد آور
وودكاك، جيم
Author
Woodcock, Jim
عنوان
استفاده از Z: توصيف، پالايش و اثبات
شرح پديد آور
تاليف جيم وودكاك، جيم ديويس
مترجم
ترجمه زهرا كريمي، مرجان كائدي، فاطمه حسنوند
سال نشر
1402
مشخصات ظاهري
[385] ص مصور (بخشي رنگي)، جدول
عنوان به زبان اصلي
Using Z : specification, refinement, and proof, 1996
موضوع
زد (زبان برنامه نويسي كامپيوتر) , Z (Computer program language)
شناسه هاي افزوده
پ ديويس ، جيم Davies , Jim , پ 730 كريمي ، زهرا ، 1356 شهريور- , پ 730 كائدي ، مرجان ، 1361 - , پ 730 حسنوند ، فاطمه ، 1375-
ردة اصلي
005
رده فرعي
/12
شمارة كاتر
و819الف
تاريخ
1402
شابك
978-600-7997-87-1