Доказательство правильности программ (Бичлэгийн дугаар. 85363)
| 000 -УДИРДЛАГА | |
|---|---|
| Удирдлага | 01834 a2200277 4500 |
| 003 - ХЯНАЛТЫН ТОО ТОДОРХОЙЛОГЧ | |
| Код | MN-UlNUM |
| 005 - БИЧИЛТ ХИЙСЭН ОГНОО | |
| Тухайн бичилтийг бичсэн засварласан сүүлийн огноо | 20180821121938.0 |
| 008 - ЕРӨНХИЙ МЭДЭЭЛЭЛ | |
| Ерөнхий мэдээлэл | 110605s9999 xx 000 0 rus d |
| 084 ## - ББК АНГИЛАЛ | |
| ББК ангилал | 32.973 |
| Зохиогчийн гурван тэмдэгт | А-65 |
| Нэмэлт тусгалт | Бусад |
| Мэдлэгийн ялгаа | 3 - Техник |
| 100 1# - ЗОХИОГЧ | |
| Зохиогчийн нэр | Андерсон Р |
| 240 10 - Шифр - Номын наалт, тайланд хэрэглэх | |
| Ангилалын дугаар /Зохиогчийн 3 тэмдэгт | 32.973 А-65 |
| 245 10 - ҮНДСЭН ГАРЧИГ | |
| Номын нэр | Доказательство правильности программ |
| Оролцогчдын тухай мэдээ | Ред.Д.Б.Подшивалова |
| -- | Пер.с англ.Б.Н.Зобниной |
| 260 ## - ГАРАЛТЫН МЭДЭЭ | |
| Хэвлэгдсэн газар | М |
| Хэвлэлийн газар | Мир |
| Хэвлэгдсэн он | 1982 |
| 300 ## - МАТЕРИАЛЫН ТОДОРХОЙЛОЛТ | |
| хуудасны тоо | 168 |
| 500 ## - Тайлбар | |
| Дансны дугаар | ЭШФ С-81215, С- 85255, С-85142 |
| 510 ## - CITATION/REFERENCES NOTE | |
| Name of source | математическая индукция |
| -- | доказательство правильности программ, написанных на обычных языках программирования |
| -- | современные исследования, связанные с доказательством правильности программ |
| 546 ## - ХЭЛНИЙ ТУХАЙ МЭДЭЭ | |
| Хэл | Орос хэл дээр, |
| 653 ## - Түлхүүр үг | |
| Түлхүүр үг | вычислительная техника |
| 653 ## - Түлхүүр үг | |
| Түлхүүр үг | электронные вычислительные машины |
| 653 ## - Түлхүүр үг | |
| Түлхүүр үг | программирование |
| 653 ## - Түлхүүр үг | |
| Түлхүүр үг | доказательство правильности |
| 740 ## - НОМЫН ГАРЧИГ | |
| Гарчиг | Математическая индукция |
| -- | Доказательство правильности программ, написанных на обычных языках программирования |
| -- | Современные исследования, связанные с доказательством правильности программ |
| 740 ## - НОМЫН ГАРЧИГ | |
| Гарчиг | Доказательство правильности блок-схем программ |
| -- | Доказательство правильности рекурсивных программ |
| -- | Предметный указатель |
| 942 ## - ЭЛЕМЕНТИЙН ТӨРӨЛ | |
| Зүйлийн төрөл | Ном |