語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

語系

英文 (1)

跳至 : 概要 | 書目資訊 | 主題

Boulanger, Jean-Louis.

概要

作品:	1 作品在 1 項出版品 1 種語言

書目資訊

Formal methods applied to industrial complex systems by: Boulanger, Jean-Louis. (書目-電子資源)

Formal methods = industrial use from model to the code / by: Boulanger, Jean-Louis. (書目-電子資源)

Industrial used of formal method = formal verification / by: Boulanger, Jean-Louis. (書目-電子資源)

Safety management for software-based equipment by: Boulanger, Jean-Louis. (書目-電子資源)

Formal methods applied to complex systems = implementation of the B Method / by: Boulanger, Jean-Louis. (書目-電子資源)

主題

Nondestructive testing. Computer security. Computer simulation. Application software- Development. Formal methods (Computer science) Computer software- Verification. B method (Computer science) Industrial management- Mathematical models. Systems engineering- Data processing. Railroads- Management

變更密碼

登入