語系:
繁體中文
English
說明(常見問題)
圖資館首頁
登入
跳至 :
概要
書目資訊
主題
Type theory - Congresses.
概要
作品:
4 作品在 0 項出版品 0 種語言
書目資訊
Language engineering and rigorous software developmentInternational LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008 : revised tutorial lectures /
by:
(書目-電子資源)
Types for proofs and programsInternational Workshop TYPES '96, Aussois, France, December 15-19, 1996 : selected papers /
by:
(書目-電子資源)
Types for proofs and programsinternational workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998 : selected papers /
by:
(書目-電子資源)
Types for proofs and programsinternational workshop, TYPES '99, Lokeberg, Sweden, June 12-16, 1999 : selected papers /
by:
(書目-電子資源)
主題
Software Engineering.
Computer software
Programming Techniques.
Management of Computing and Information Systems.
Automatic theorem proving
Formal methods (Computer science)
Programming languages (Electronic computers)
Programming Languages, Compilers, Interpreters.
Computer logic
Computer programming
Type theory
Simulation and Modeling.
Computer Science.
處理中
...
變更密碼
登入