語系
Hu, Zhenjiang.
概要
作品: | 1 作品在 1 項出版品 1 種語言 |
---|
書目資訊
Theory and practice of model transformations5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012 : proceedings /
by:
(1998 :); Hu, Zhenjiang.; Lara, Juan.; SpringerLink (Online service)
(書目-電子資源)
Functional and logic programming6th international symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002 : proceedings /
by:
(1998 :); Hu, Zhenjiang.; Rodriguez-Artalejo, Mario.; SpringerLink (Online service)
(書目-電子資源)
Programming languages and systems7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009 : proceedings /
by:
(1998 :); Hu, Zhenjiang.; SpringerLink (Online service)
(書目-電子資源)
主題
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Model-driven software architecture
Programming Techniques.
Logic programming
Computer software
Programming languages (Electronic computers)
Computer programming
Programming Languages, Compilers, Interpreters.
Functional programming (Computer science)
Computer Science.
Systems and Data Security.
Computer Communication Networks.