de la Puente, Juan Antonio.
Overview
| Works: | 1 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Reliable Software Technologies – Ada-Europe 2015 = 20th Ada-Europe International Conference on Reliable Software Technologies, Madrid Spain, June 22-26, 2015, Proceedings /
by:
de la Puente, Juan Antonio.; Vardanega, Tullio.; SpringerLink (Online service)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Computer logic.
Logics and Meanings of Programs.
Mathematical logic.
Mathematical Logic and Formal Languages.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Software engineering.
Software Engineering.
Special Purpose and Application-Based Systems.
Special purpose computers.