Colombo, Christian.
概要
作品: | 1 作品在 1 項出版品 1 種語言 |
---|
書目資訊
Runtime Verification = A Hands-On Approach in Java /
by:
SpringerLink (Online service); Colombo, Christian.; Pace, Gordon J.
(書目-語言資料,印刷品)
, [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.
(書目-語言資料,印刷品)
, [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)
(書目-語言資料,印刷品)
主題
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