Теория на програмите и задачите Соскова 1998
Сумата се прибавя директно в кошницата
5.25 €
.
За повече информация: order@kopiebg.com
Съдържание
Шеста глава - ОБЛАСТИ НА СКОТ
§ 6.1. Определение и примери за области на Скот 199
§ 6.2. Непрекъснати изображения в области на Скот 210
§6.3. Теорема за най-малката неподвижна точка 221
Седма глава
раметрите по стойност 231
§ 7.2. Денотационна семантика на рекурсивните програми с предаване на параметрите по име ; 239
§7.3. Правило на Скот за доказване на свойства на рекурсивни програми.. 247
Л ите р ату ра 260
.
