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
Mathematical logic.
Software Engineering.
Computer logic.
Special Purpose and Application-Based Systems.
Programming languages (Electronic computers).
Programming Languages, Compilers, Interpreters.
Software engineering.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Special purpose computers.