Languages
Canal, Carlos.
Overview
| Works: | 2 works in 2 publications in 1 languages | |
|---|---|---|
Titles
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.
(Language materials, printed)
, [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)
(Language materials, printed)
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.
(Language materials, printed)
Subjects
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.