語系
Falcone, Ylies.
概要
| 作品: | 2 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal methods in outer spaceessays dedicated to Klaus Havelund on the occasion of his 65th birthday /
by:
(1998 :); Bartocci, Ezio.; Falcone, Ylies.; Havelund, Klaus, (1955-); Leucker, Martin.; SpringerLink (Online service)
(書目-電子資源)
Lectures on runtime verificationintroductory and advanced topics /
by:
Bartocci, Ezio.; Falcone, Ylies.; SpringerLink (Online service)
(書目-電子資源)
Runtime verification16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016 : proceedings /
by:
(1998 :); Falcone, Ylies.; Sanchez, Cesar.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Theory of Computation.
Logics and Meanings of Programs.
Computer software
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer Engineering and Networks.
The Computing Profession.
Artificial Intelligence.
Computer Science.
System Performance and Evaluation.