Languages
Valencia, Frank D.
Overview
| Works: | 2 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Theoretical Aspects of Computing - ICTAC 2015 = 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings /
by:
Leucker, Martin.; Valencia, Frank D.; SpringerLink (Online service); Rueda, Camilo.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Theoretical aspects of computing - ICTAC 2015 = 12th International Colloquium Cali, Colombia, October 29-31, 2015 : proceedings /
by:
Rueda, Camilo.; SpringerLink (Online service); Leucker, Martin.; Workshop on the Preservation of Stability under Discretization ((2001 :); Valencia, Frank D.
(Language materials, printed)
Subjects
Mathematical logic.
Software Engineering.
Computer science—Mathematics.
Computer logic.
Software engineering.
Computer science.
Discrete Mathematics in Computer Science.
Programming languages (Electronic computers).
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Computer science
Mathematical Logic and Formal Languages.