البحث عن الكتب
الكتب
التبرع والدعم
تسجيل الدخول
تسجيل الدخول
المستخدمين المصرح لهم متاح لهم التالي:
توصيات شخصية
روبوت Telegram
تاريخ التنزيلات
إرسال إلي Email أو Kindle
إدارة المجموعات المختارة
حفظ في المفضلة
شخصي
طلبات الكتب
تعلم
Z-Recommend
قوائم الكتب المختارة
الأكثر شهرة
الفئات
مشاركة
التبرع والدعم
التحميلات
Litera Library
التبرع بالكتب الورقية
أضف كتبًا ورقية
Search paper books
LITERA Point الخاص بي
البحث عن الكلمات الرئيسية
Main
البحث عن الكلمات الرئيسية
search
1
Software Development With Z: A Practical Approach to Formal Methods in Software Engineering
Addison-Wesley Pub (Sd)
John Wordsworth
schema
false
specification
enrolled
sets
predicate
operations
function
operation
predicates
response
values
exercises
library
refinement
specifications
ectr
notation
schemas
abstract
sarray
declaration
tested
informal
concrete
formal
input
variables
figure
programming
manager
algorithm
enrol
existential
ctr
initial
declarations
defined
precise
disjunction
invariant
assistant
quantifier
functions
array
command
quantification
behaviour
conjunction
onjshelves
عام:
1992
اللغة:
english
ملف:
DJVU, 2.12 MB
الشعارات الخاصة بك:
0
/
0
english, 1992
1
ادخل علي
هذا الرابط
أو إبحث عن البوت "@BotFather" في Telegram
2
أرسل الأمر /newbot
3
أدخل إسمًا للبوت الخاص بك
4
أدخل إسم المستخدم للبوت
5
انسخ الرسالة الأخيرة من BotFather والصقها هنا
×
×