語系
Canal, Carlos.
概要
作品: | 2 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Software Engineering and Formal Methods = SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers /
by:
Idani, Akram.; SpringerLink (Online service); Canal, Carlos.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Advances in service-oriented and cloud computing = Workshops of ESOCC 2013, Malaga, Spain, September 11-13, 2013 : revised selected papers /
by:
Villari, Massimo.; Workshop on the Preservation of Stability under Discretization ((2001 :); Canal, Carlos.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Software engineering and formal methods = SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014 : revised selected papers /
by:
Canal, Carlos.; SpringerLink (Online service); Idani, Akram.
(書目-語言資料,印刷品)
主題
Software Engineering.
Mathematical logic.
Formal methods (Computer science)
Computer logic.
Cloud computing
Software engineering.
Information storage and retrieval systems.
Service-oriented architecture (Computer science)
Computer science.
Management information systems.
Information Storage and Retrieval.
Business Information Systems.
Software engineering
Computer Science.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Database Management.
Database management.