Colombo, Christian.
概要
作品: | 2 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Runtime verification18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018 : proceedings /
by:
(1998 :); Colombo, Christian.; Leucker, Martin.; SpringerLink (Online service)
(書目-電子資源)
Runtime verificationa hands-on approach in Java /
by:
Colombo, Christian.; Pace, Gordon J.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Theory of Computation.
Mathematical Logic and Foundations.
Logics and Meanings of Programs.
Mathematics of Computing.
Computer software
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
The Computing Profession.
System Performance and Evaluation.