• التعليم وحلول الأعمال يفتح في نافذة جديدة
صورة الغلاف: CAFEOBJ REPORT,THE LANGUAGE,... (V6) 9789810235130

CAFEOBJ REPORT,THE LANGUAGE,... (V6)

The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification

  • المؤلف (المؤلفون) Diaconescu Razvan; Futatsugi Kokichi
  • الناشر نشر بواسطة World Scientific
  • "ISBN-13 9789810235130"
  • شكل التنسيق المحدد

الكتاب الالكتروني

ترخيص eTextbook
‌
﷼‎297.67 SAR
‌
‌

  • أدوات الدراسة

    أضف أدوات دراسة مثل التمييزات وغيرها

  • القراءة بصوت مسموع

    استمع وانصت أثناء قراءة Bookshelf لك

  • الوصول دون اتصال بالإنترنت

    قم بالوصول إلى الكتاب الدراسي الإلكتروني الخاص بك في أي وقت وأي مكان.

  • بحث عام

    ابحث في محتوى الكتاب والرسومات التوضيحية وكراس التمارين.

أعرف المزيد

CAFEOBJ REPORT,THE LANGUAGE,... (V6): The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification تمت الكتابة بواسطة Diaconescu Razvan; Futatsugi Kokichi وتم النشر بواسطة World Scientific. الأرقام الدولية المعيارية للكتب الدراسية الإلكترونية والرقمية لـ CAFEOBJ REPORT,THE LANGUAGE,... (V6) هي 9789812816108, 9812816100 و الأرقام الدولية المعيارية للكتاب (ISBN) هي 9789810235130, 9810235135. وفّر حتى 80% في مقابل الطباعة عن طريق الانتقال إلى الحياة الرقمية من خلال VitalSource.

العودة إلى الأعلى