语系: 簡体中文

登入

语系

英文 (1)

[NT 60476] Jump To : 概要 | 书目信息 | 主题

Dardha, Ornela.

概要

作品:	1 作品在 1 项出版品 1 种语言

书目信息

Type systems for distributed programs[electronic resource] :components and sessions / by: Dardha, Ornela.; SpringerLink (Online service) (书目-电子资源)

主题

Mathematical Logic and Formal Languages. Electronic data processing Computer software Programming languages (Electronic computers) Computer Science.

变更密码

登入