語系: 繁體中文

說明(常見問題)

登入

語系

英文 (1)

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

Brucker, Achim D.

概要

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

書目資訊

Tests and proofs[electronic resource] :6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings / by: Brucker, Achim D.; Clark Conference ((2005 :); Julliand, Jacques.; SpringerLink (Online service) (書目-語言資料,印刷品)

主題

Software Engineering. Mathematical Logic and Formal Languages. Logics and Meanings of Programs. Computer software Programming Techniques. Formal methods (Computer science) Programming Languages, Compilers, Interpreters. Computer Science. Simulation and Modeling.

變更密碼

登入