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

libcats.org

Главная →

Leucker M.

Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.

Популярные книги за неделю:

Блудницы Вавилона (Whores of Babylon)

Уотсон Иэн

Категория: Контркультура

496 Kb

В.Бекетов, К.Харченко. Измерения и испытания при конструировании и регулировке радиолюбительских антенн (djvu)

4.82 Mb

О.Д.Вальпа. Полезные схемы с применением микроконтроллеров и ПЛИС (djvu)

9.91 Mb

Самодельные детали для сельского радиоприемника

Авторы: З.Б.Гинзбург, Ф.И.Тарасов.

Категория: радиоэлектроника

1.40 Mb

Основы естественной энергетики

Андреев Е.И.

Категория: Физика физические науки

3.28 Mb

ВАЗ 2110i, -2111i, -2112i

Категория: civil, civil, transport

57.35 Mb

Английский школьникам. Тренажер по чтению. Буквы и звуки

Е. В. Русинова

12.41 Mb

Мануальная Терапия живота

Башняк

Категория: 1641060-Мануальная терапия

29.85 Mb

Фаллос. Священный мужской образ

Юджин Моник

Категория: НАУЧНО-ПОПУЛЯРНОЕ, ЧЕЛОВЕК

3.37 Mb

#10

Электронные схемы и их применение

Сентурия С., Уэдлок Б.

10.14 Mb

Только что пользователи скачали эти книги:

Фэнтези 2007

Пехов Алексей, Ночкин Виктор, Уланов Андрей, Олди Генри Лайон, Громыко Ольга, Харитонов Михаил, Логинов Святослав, Осояну Наталия, Новак Илья, Аренев Владимир, Нестеренко Юрий, Точинов Виктор, Балабин Михаил, Бондарев Олег, Челяев Сергей

Категория: Фэнтези

1.23 Mb

Мастера фэнтези 2005 (сборник)

Лэки Мерседес, Асприн Роберт Линн, Най Джоди Линн, Дрейк Дэвид, Фостер Алан Дин, Райхерст Микки Зухер, Мун Элизабет, Нортон Андрэ, Резник Майк, Сташефф Кристофер, Вебер Дэвид, Вурц Дженни, Уэйс Маргарет, Перин Дон

Категория: Фэнтези

1.54 Mb

Лазерная локация

Устинов Н.Д.

Категория: Engineering, Optical devices

3.68 Mb

Численные методы решения дифференциальных и интегральных уравнений и квадратурные формулы

Дородницын А.А., и др. (ред.)

Категория: Mathematics, Numerical methods

5.67 Mb

Поглощение и рассеяние света малыми частицами

Борен К., Хафмен Д.

5.55 Mb

Микросхемы для бытовой радиоаппаратуры. Справочник

Новаченко И.В. и др.

7.93 Mb

Нейрореаниматология. Интенсивная терапия ЧМТ

С.В. Царенко

Категория: science, human, people, health

49.38 Mb

Активное долголетие (Моя система борьбы со старостью)

Микулин А.А.

Категория: Медицина

3.45 Mb

Секреты народных умельцев

Староверов максим

Категория: Дом. Быт. Досуг

2.51 Mb

#10

Лекции по математике Топология

Босс В.

Категория: Математика

4.01 Mb