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.
Computer science.
Computer system failures.
Theory of Computation.
The Computing Profession.
Computers.
Mathematics of Computing.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Computer software