• الرئیسیة
  • البحث المتقدم
  • قائمة المکتبات
  • حول الموقع
  • اتصل بنا
  • نشأة
  • ورود / ثبت نام

عنوان
Formal specification using Z: a modelling approach

پدید آورنده
Bottaci, Leonardo

موضوع
Z )Computer program language( , Computer Software - Development

رده
QA
76
.
73
.
Z2
B67
1995

کتابخانه

محل استقرار
استان: طهران ـ شهر: طهران



تماس با کتابخانه : ۶۶۴۰۷۴۱۸(۰۲۱) – ۶۴۵۴۲۳۴۹(۰۲۱)

CE O1

Bottaci, Leonardo
Formal specification using Z: a modelling approach

London
ITP
1995

xii, 320 p.: ill

Includes bibliographical references )p. 293-294( and index

Z )Computer program language(
Computer Software - Development

QA
76
.
73
.
Z2
B67
1995

AU
Leonardo Bottaci, John Jones

English

الاقتراح / اعلان الخلل

تحذیر! دقق في تسجیل المعلومات
ارسال عودة
تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال