libcats.org
Главная →

Functional programming languages for verification tools.A comparison of Standard ML and Haskell

Обложка книги Functional programming languages for verification tools.A comparison of Standard ML and Haskell

Functional programming languages for verification tools.A comparison of Standard ML and Haskell

EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

Ключ к сверхсознанию

 Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

 Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Здоровье надо созидать

 Автор:
Категория: Здоровье
Размер книги: 363 Kb
Только что пользователи скачали эти книги:

Что это за сталь?

 Автор: , Автор:
Категория: Хобби и ремесла
Размер книги: 1.94 Mb

Рукоять

 Автор: , Автор:
Категория: Хобби и ремесла
Размер книги: 262 Kb

Нож на каждый день

 Автор: , Автор:
Категория: Хобби и ремесла
Размер книги: 531 Kb

Critical Incident Stress Management in Aviation

 Автор: , Автор:
Размер книги: 1.14 Mb

Portraiture (Oxford History of Art)

 Автор:
Категория: История
Размер книги: 19.37 Mb

The Formation of National States in Western Europe

 Автор:
Размер книги: 67.63 Mb

Space for Capital, Space for States

 Автор:
Размер книги: 181 Kb

Big Structures, Large Processes, Huge Comparisons

 Автор:
Размер книги: 17.91 Mb

Introduction to Metric and Topological Spaces, 2nd edition

 Автор: , Автор:
Категория: Mathematics
Размер книги: 8.13 Mb