語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

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

VMCAI 2010 ((2010 :)

概要

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

書目資訊

Verification, model checking, and abstract interpretation = 11th international conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010 : proceedings / by: Barthe, Gilles.; Hermenegildo, Manuel.; SpringerLink (Online service); VMCAI 2010 ((2010 :) (書目-語言資料,印刷品)

主題

Software Engineering. Logics and Meanings of Programs. Software Engineering/Programming and Operating Systems. Algorithm Analysis and Problem Complexity. Programming Techniques. Programming Languages, Compilers, Interpreters. Computer Science. Computer programs- Verification

變更密碼

登入