語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

語系

英文 (1)

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

International SPIN Workshop (2019 :)

概要

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

書目資訊

Model checking software = 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019 : proceedings / by: International SPIN Workshop (2019 :); Biondi, Fabrizio.; Given-Wilson, Thomas.; Legay, Axel.; SpringerLink (Online service) (書目-電子資源)

主題

Software engineering Software Engineering. Mathematical Logic and Formal Languages. Logics and Meanings of Programs. SPIN (Computer file) Algorithm Analysis and Problem Complexity. Computer software- Testing Computer software- Verification Simulation and Modeling. System Performance and Evaluation.

變更密碼

登入