Colombo, Christian.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
Runtime Verification = A Hands-On Approach in Java /
by:
SpringerLink (Online service); Colombo, Christian.; Pace, Gordon J.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Runtime Verification = 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings /
by:
Leucker, Martin.; SpringerLink (Online service); Colombo, Christian.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Runtime verification = 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Leucker, Martin.; Colombo, Christian.; SpringerLink (Online service)
(Language materials, printed)
Subjects
Software Engineering.
Mathematical logic.
Formal methods (Computer science)
Computer science—Mathematics.
Computer logic.
System Performance and Evaluation.
Software engineering.
Theory of Computation.
The Computing Profession.
Mathematics of Computing.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Computer science.
Computer system failures.
Computers.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Computer software