Skip to content

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...

יצירת מראה מקום
שליחה במסרון
שלח את זה
הדפסה
יצוא רשומה
Permanent link

Note about predicate transformers

Note about predicate transformers

מידע ביבליוגרפי
מחבר ראשי:	Hoare, C
פורמט:	Record
יצא לאור:	2015

מלאי ספרים
תיאור
פריטים דומים
תצוגת צוות

פריטים דומים

Basic Theorems about Predicate Transformers
מאת: Hoare, C, et al.
יצא לאור: (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)

אפשרויות חיפוש

חיפושים קודמים
חיפוש מתקדם

מצא עוד

דפדוף בקטלוג
דפדוף בסדר אלפבתי
Explore Channels
שמורות לקורס
פריטים חדשים

צריכים עזרה?

טיפים לחיפוש
לשאול ספרן/ית
שאלות נפוצות