语系: 簡体中文

登入

语系

英文 (3)

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

Bernardo Marco

概要

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

书目信息

Formal methods for the design of real time systems: international school on formal methods ofr the design of computer... by: Bernardo Marco; CorradiniFlavio (书目-语言数据,印刷品)

Formal methods for software architectures: Third International School on Formal Methods for the Design of Computer,... by: Bernardo Marco; InverardiPaola (书目-语言数据,印刷品)

Formal methods for mobile computing by: Bernardo Marco; Bogliolo Alessandro (书目-语言数据,印刷品)

主题

Computer software Real-time control - Congresses System design Real-time programming - Congre SFM-Moby Computer architecture Real-time data processing - Co

变更密码

登入