語系: 繁體中文

說明(常見問題)

登入

語系

英文 (1)

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

D'Souza, Deepak.

概要

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

書目資訊

Verification, model checking, and abstract interpretation[electronic resource] :16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015 : proceedings / by: Clark Conference ((2005 :); D'Souza, Deepak.; Lal, Akash.; Larsen, Kim Guldstrand.; SpringerLink (Online service) (書目-語言資料,印刷品)

主題

Software Engineering. Mathematical Logic and Formal Languages. Software engineering Logics and Meanings of Programs. Computation by Abstract Devices. Computer software Programming Languages, Compilers, Interpreters. Computer Science. Computer Communication Networks.

變更密碼

登入