|
libcats.org
Главная →
From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl (Lecture Notes in Computer Science)From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl (Lecture Notes in Computer Science)Olaf Owe, Stein Krogdahl, Tom LycheThis book is dedicated to the memory of Ole-Johan Dahl who passed away in June 2002 at the age of 70, shortly after he had received, together with his colleague Kristen Nygaard, the ACM Alan M. Turing Award: "For ideas fundamental to the emergence of object-oriented programming, through their design of the programming languages Simula I and Simula 67." This Festschrift opens with a short biography and a bibliography recollecting Ole-Johan Dahl's life and work, as well as a paper he wrote entitled: "The Birth of Object-Orientation: the Simula Languages." The main part of the book consists of 14 scientific articles written by leading scientists who worked with Ole-Johan Dahl as students or colleagues. In accordance with the scope of Ole-Johan Dahl's work and the book's title, the articles are centered around object-orientation and formal methods.
Скачать книгу бесплатно (pdf, 4.29 Mb)
Читать «From Object-Orientation to Formal Methods: Essays in Memory of Ole-Johan Dahl (Lecture Notes in Computer Science)» EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:
![]() Самодельные детали для сельского радиоприемникаАвтор: Авторы: З.Б.Гинзбург, Автор: Ф.И.Тарасов.Категория: радиоэлектроника
Размер книги: 1.40 Mb
![]() Тестирование Дот Ком, или Пособие по жестокому обращению с багами в интернет-стартапахАвтор: Роман Савин
Размер книги: 5.26 Mb
![]() Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
![]() Осмотр места происшествия: Справочник следователяАвтор: Леви Александр Абрамович, Автор: Редакция А.А.Леви.Категория: право, юридические науки
Размер книги: 4.48 Mb
Только что пользователи скачали эти книги:
![]() Блюз для винчестераАвтор: Костюченко ЕвгенийКатегория: Альтернативная история, Вестерн
Размер книги: 1.11 Mb
![]() Equilibrium Problems: Nonsmooth Optimization and Variational Inequality ModelsАвтор: F. Giannessi, Автор: A. Maugeri, Автор: Panos M. PardalosКатегория: Mathematics, Optimization and control
Размер книги: 2.68 Mb
![]() Robust Optimization-Directed DesignАвтор: Andrew J. Kurdila, Автор: Panos M. Pardalos, Автор: Michael ZabarankinКатегория: Electronical-Computer-Mechanical
Размер книги: 12.26 Mb
![]() Optimization and Optimal Control: Theory and ApplicationsАвтор: Panos M. Pardalos, Автор: Rentsen Enkhbat, Автор: Ider Tseveendorj
Размер книги: 3.30 Mb
|
|