تخطي إلى المحتوى

VuFind

- English
- Deutsch
- Español
- Français
- Italiano
- 日本語
- Nederlands
- Português
- Português (Brasil)
- 中文(简体)
- 中文（繁體）
- Türkçe
- עברית
- Gaeilge
- Cymraeg
- Ελληνικά
- Català
- Euskara
- Русский
- Čeština
- Suomi
- Svenska
- polski
- Dansk
- slovenščina
- اللغة العربية
- বাংলা
- Galego
- Tiếng Việt
- Hrvatski
- हिंदी
- Հայերէն
- Українська
- Sámegiella
- Монгол

بحث متقدم

Note about predicate transform...

استشهد بهذا
أرسل هذا في رسالة قصيرة
أرسل هذا بالبريد الإلكتروني
طباعة
تصدير التسجيلة
رابط دائم

Note about predicate transformers

Note about predicate transformers

التفاصيل البيبلوغرافية
المؤلف الرئيسي:	Hoare, C
التنسيق:	Record
منشور في:	2015

المقتنيات
الوصف
مواد مشابهة
عرض للأخصائي

مواد مشابهة

Basic Theorems about Predicate Transformers
حسب: Hoare, C, وآخرون
منشور في: (1977)
Shifting the Identity of Predicate Transformers
حسب: Hoare, C
منشور في: (2015)
Some properties of Predicate Transformers
حسب: Hoare, C
منشور في: (1978)
Programs are Predicates
حسب: Hoare, C
منشور في: (1985)
Programs are Predicates
حسب: Hoare, C
منشور في: (1992)

خيارات البحث

سجل البحث
بحث متقدم

ابحث عن المزيد

استعراض الفهرس
استعرض أبجدياً
اكتشف القنوات
الحجز الأكاديمي
مواد جديدة

تحتاج مساعدة ؟

إرشادات حول معاملات البحث
إسأل أخصائي مكتبات
الأسئلة الشائعة