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]
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]
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]
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.
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.