语系: 簡体中文

登入

语系

英文 (1)

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

Berstel-Da Silva, Bruno.

概要

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

书目信息

Verification of business rules programs[electronic resource] / by: Berstel-Da Silva, Bruno.; SpringerLink (Online service) (书目-语言数据,印刷品)

主题

Rule-based programming. Logics and Meanings of Programs. Business Database Management. Programming Techniques. Computer Science.

变更密码

登入