Скачать книгу

Вы выбрали книгу «Leucker M.Functional programming languages for verification tools.A comparison of Standard ML and Haskell». Вы можете совершенно бесплатно скачать эту книгу, но только для ознакомления и личного, не коммерческого использования. Ссылка на скачивание расположена ниже на странице.

Для начала скачивания выберите сервер и нажмите ссылку «скачать»

PDFLeucker M.Functional programming languages for verification tools.A comparison of Standard ML and Haskell
224.2 Kb
Обозначение:
Leucker M.Functional programming languages for verification tools.A comparison of Standard ML and Haskell
Раздел библиотеки:
Европейский FTP IR81 Сервер online. Можете скачать файл.
Европейский FTP HL0 Сервер online. Можете скачать файл.
Ихтик HTTP Сервер online. Можете скачать файл.
Европейский FTP HL22 Сервер online. Можете скачать файл.
Европейский FTP TR83 Сервер online. Можете скачать файл.
или используйте одно из зеркал.

Все книги запакованы архиватором RAR. Чем распаковать читайте здась. Внутри архива Вы найдёте файл(ы) книги, как открыть и просмотреть файл книги читайте здесь.

Driver Updater