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

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
- Монгол

Ընդլայնված

Proof of Correctness of Data R...

Վկայակոչեք սա
Գրեք սա
Էլփոստով ուղարկեք սա
Տպել
Արտահանել գրառումը
Մշտական հղում

Proof of Correctness of Data Representations

Proof of Correctness of Data Representations

Մատենագիտական մանրամասներ
Հիմնական հեղինակ:	Hoare, C
Ձևաչափ:	Journal article
Հրապարակվել է:	1972

Պահումներ
Նկարագրություն
Նմանատիպ նյութեր
Աշխատակազմի տեսք

Նմանատիպ նյութեր

Program Correctness Proofs
‌: Hoare, C
Հրապարակվել է: (1975)
Proof of a Program: FIND
‌: Hoare, C
Հրապարակվել է: (1971)
Proof of a Structured Program: ‘The Sieve of Eratosthenes'
‌: Hoare, C
Հրապարակվել է: (1972)
Proof of a Recursive Program: Quicksort
‌: Foley, M, և այլն
Հրապարակվել է: (1971)
Design and Proof of a Mail Service
‌: Hoare, C, և այլն
Հրապարակվել է: (1987)

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

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

Գտեք ավելին

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

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

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