语系: 簡体中文

登入

语系

英文 (1)

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

Watson, Bruce W.

概要

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

书目信息

The correctness-by-construction approach to programming[electronic resource] / by: Kourie, Derrick G.; SpringerLink (Online service); Watson, Bruce W. (书目-语言数据,印刷品)

主题

Software Engineering. Mathematical Logic and Formal Languages. Logics and Meanings of Programs. Software engineering. Formal methods (Computer science) Computer Science.

变更密码

登入