Falcone, Yliès.
概要
| 作品: | 2 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Lectures on Runtime Verification = Introductory and Advanced Topics /
by:
SpringerLink (Online service); Bartocci, Ezio.; Falcone, Yliès.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal Methods in Outer Space = Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday /
by:
Falcone, Yliès.; Bartocci, Ezio.; SpringerLink (Online service); Leucker, Martin.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Runtime Verification = 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings /
by:
SpringerLink (Online service); Falcone, Yliès.; Sánchez, César.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Formal Methods in Outer Space = Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday /
by:
Falcone, Yliès.; Bartocci, Ezio.; SpringerLink (Online service); Leucker, Martin.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Software Engineering.
Computer organization.
Computer engineering.
Software Engineering/Programming and Operating Systems.
Computer logic.
Algorithm Analysis and Problem Complexity.
Computer networks .
Artificial intelligence.
Software engineering.
System Performance and Evaluation.
Theory of Computation.
The Computing Profession.
Computer programming.
Programming Techniques.
Computer Systems Organization and Communication Networks.
Algorithms.
Logics and Meanings of Programs.
Computer Engineering and Networks.
Artificial Intelligence.
Computer science.
Computer system failures.
Computers.
Programming languages (Electronic computers).
Programming Languages, Compilers, Interpreters.