語系
Zeller, Andreas.
概要
作品: | 1 作品在 1 項出版品 1 種語言 |
---|
書目資訊
Compiler Construction (vol. # 3923)15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006, Proceedings /
by:
(1998 :); Mycroft, Alan.; SpringerLink (Online service); Zeller, Andreas.
(書目-電子資源)
Essential open source toolset :programming with Eclipse, JUnit, CVS, Bugzilla, Ant, Tcl/Tk and more /
by:
Krinke, Jens.; Zeller, Andreas.
(書目-語言資料,印刷品)
Hardware and software: verification and testing5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers /
by:
(1998 :); Namjoshi, Kedar.; SpringerLink (Online service); Zeller, Andreas.; Ziv, Avi.
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Open source software.
Compilers (Computer programs)
Logics and Meanings of Programs.
Computer software
Debugging in computer science.
Artificial Intelligence (incl. Robotics)
Programming Languages, Compilers, Interpreters.
Computer Science.
Integrated circuits