Larch: Languages and Tools for Formal Specification

libcats.org

Главная →

John Guttag

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

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

Каникулы

Бредбери Рэй

13 Kb

Изделие 2А42. Инструкция по эксплуатации. 2А42.00.000 Инструкция по эксплуатации

Категория: Военная техника

3.41 Mb

Физиология человека

Косицкий

Категория: Медицина, Физиология

85.34 Mb

Как программировать на C

Х. М. Дейтел, П. Дж. Дейтел

Категория: computers, computers, prog

53.40 Mb

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

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

57.35 Mb

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

Башняк

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

29.85 Mb

Цвет. Энциклопедия. Советы по цветовому оформлению интерьера вашего дома

Анна Стармер

Категория: домоводство, досуг, Строительство и ремонт, дизайн помещений

19.58 Mb

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

Юджин Моник

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

3.37 Mb

Знаки и символы. Энциклопедия

Жорж Жан

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

46.50 Mb

#10

Твои друзья и помощники

Валентинов А.А.

Категория: ХОББИ и РЕМЕСЛА

3.01 Mb

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

М.И.Конторович. Операционное исчисление и нестационарные явления в электрических цепях (1955, djvu)

3.08 Mb

Основы теории распознавания образов

Э.А.Патрик

Категория: science

3.97 Mb

Трансформаторы низкой частоты

Цыкин Г.С.

10.92 Mb

Ордена и медали СССР (полный каталог)

Колесников Георгий, Рожков Александр

Категория: справочники

3.25 Mb

Алгебра и теория чисел

Завало С.Т., Костарчук В.Н., Хацет Б.И.

24.27 Mb

Эдгар Кейс и хроники Акаши

Тодески Кевин

Категория: Путь к себе

1000 Kb

МАЗ-64227, -54322. Устройство, техническое обслуживание, ремонт

Высоцкий и др.

4.09 Mb

Учение Великого Мастера. Диалог о боевых искусствах и духовном развитии

Ричард Беренс

Категория: people, people, survival

940 Kb

Кинетически-согласованные схемы в газовой динамике: новая модель вязкого газа, алгоритмы, параллельная реализация, приложения.

Четверушкин Б.Н.

Категория: математика, механика, информатика

3.29 Mb

#10

Крещение Руси: факты против легенд и мифов. Полемические заметки.

Гордиенко Н.С.

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

12.96 Mb