語系
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.
Software engineering.
Service-oriented architecture (Computer science)
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Database management.
Cloud computing
Information storage and retrieval systems.
Computer science.
Management information systems.
Information Storage and Retrieval.
Business Information Systems.
Software engineering
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Database Management.