From Object-Orientation to Formal Methods pdf epub mobi txt 电子书下载 2024

☆☆☆☆☆
简体网页||繁体网页

Owe, Olaf (EDT)/ Krogdahl, Stein/ Lyche, Tom

399

$ 75.71

9783540213666

图书标签:

喜欢 From Object-Orientation to Formal Methods 的读者还喜欢

下载链接在页面底部

点击这里下载

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

想要找书就要到小哈图书下载中心

qciss.net

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2024-11-25

From Object-Orientation to Formal Methods epub 下载 mobi 下载 pdf 下载 txt 电子书下载 2024

From Object-Orientation to Formal Methods pdf epub mobi txt 电子书下载 2024

图书描述

This 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.

From Object-Orientation to Formal Methods 下载 mobi epub pdf txt 电子书