Falcone, Yliès.
Overview
| Works: | 2 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Lectures on Runtime Verification = Introductory and Advanced Topics /
by:
SpringerLink (Online service); Bartocci, Ezio.; Falcone, Yliès.
(Language materials, printed)
, [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.
(Language materials, printed)
, [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.
(Language materials, printed)
, [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.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
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.
Computer science.
Computer system failures.
Theory of Computation.
Computers.
The Computing Profession.
Computer programming.
Programming Techniques.
Programming languages (Electronic computers).
Programming Languages, Compilers, Interpreters.
Computer Systems Organization and Communication Networks.
Algorithms.
Logics and Meanings of Programs.
Computer Engineering and Networks.
Artificial Intelligence.