Значок книги

Formal development of programs and proofs ed. Edsger W. Dijkstra

Сохранить в:

Библиографические подробности
Тип документа:	Книга
Язык:	English
Год издания:	Reading, Massachusetts Addison-Wesley Publ. Co. 1990
Рубрика:	Программирование
Ключевые слова:	Компьютеры персональные Программирование

Схожие документы

Advanced programming
Автор: Miller L. H.
Год издания: (1986)

201 principles of software development
Автор: Davis A. M.
Год издания: (1995)

IBM PC и PS/2
Автор: Нортон П.
Год издания: (1994)

Справочник по автоматизации
Год издания: (1998)

Lotus Notes 4.х для пользователя
Автор: Березина Н. С.
Год издания: (1997)

Microsoft Office 97
Автор: Коупстейк С.
Год издания: (1997)

Delphi 2.
Автор: Мэтчо Дж.
Год издания: (1997)

Все про TEX
Автор: Кнут Д. Е.
Год издания: (1993)

NT Server 4 in the Enterprise
Автор: Титтел Э.
Год издания: (1999)

Microsoft Office 97. Освой самостоятельно за 24 часа
Автор: Перри Г.
Год издания: (1998)

Учимся работать с офисными программами
Автор: Серова Г. А.
Год издания: (2000)

Turbo Pascal для школьников
Автор: Попов В. Б.
Год издания: (1999)

Эффективная работа с Windows 2000 Professional
Автор: Стинсон К.
Год издания: (2003)

Турбо Паскаль 7.0
Автор: Фаронов В. В.
Год издания: (2000)

Windows XP
Автор: Холмогоров В.
Год издания: (2006)

Access 7.0 для занятых
Автор: Нейбауэр А.
Год издания: (1997)

Вопросы и ответы по С и С++
Год издания: (1997)

Delphi 5
Автор: Бобровский С.
Год издания: (2001)

Операционная среда Windows 3.1
Автор: Фаненштих К.
Год издания: (1996)

Excel
Автор: Альтхаус М.
Год издания: (1995)

EXCEL 7 для WINDOWS 95
Автор: Штайнер Й.
Год издания: (1997)

Динамический HTML
Автор: Пауэрс Ш.
Год издания: (1999)

Основы программирования
Автор: Молчанова С. И.
Год издания: (1999)

Учимся работать с офисными программами
Автор: Серова Г. А.
Год издания: (1999)

Excel 2000
Автор: Зайден М.
Год издания: (2000)

Excel 2000
Автор: Штайнер Г.
Год издания: (2000)

TurboPascal 7.0
Автор: Фаронов В. В.
Год издания: (2006)

Турбо Паскаль 7.0
Автор: Фаронов В. В.
Год издания: (1999)

MATHCAD 8/2000
Автор: Дьяконов В. П.
Год издания: (2001)

Windows XP
Автор: Ботт Э.
Год издания: (2003)

Windows 2000: проблемы и решения
Автор: Штребе М.
Год издания: (2002)

Введение в программирование
Год издания: (1997)

Visual C++ и MFC. Программирование для Windows NT и Windows 95
Автор: Мешков А.
Год издания: (1997)

Visual C++ и MFC. Программирование для Windows NT и Windows 95
Автор: Мешков А.
Год издания: (1997)

Самоучитель полезных программ
Автор: Левин А. Ш.
Год издания: (2002)

Самоучитель работы на компьютере
Автор: Левин А. Ш.
Год издания: (2003)

Turbo Pascal
Автор: Фаронов В. В.
Год издания: (2007)

Все программы твоего компьютера, 2008
Год издания: (2008)

Fox Pro 2.X.
Автор: Дубина А. Г.
Год издания: (1996)

Энциклопедия программирования на персональном компьютере
Автор: Якушев Д. М.
Год издания: (2004)