Անցեք բովանդակությանը

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)

Որոնման ընտրանքներ

Որոնման պատմություն
Ընդլայնված որոնում

Գտեք ավելին

Թերթիր քարտարանը
Թերթիր այբբենական կարգով
Ուսումնասիրեք ալիքները
Դասընթացի պահուստներ
Նոր նյութեր

Օգնության կարիք ունե՞ք։

Որոնման հնարքներ
Հարցրեք գրադարանավարին
FAQs