Languages
Yahav, Eran.
Overview
Works: | 1 works in 2 publications in 1 languages |
---|
Titles
Static analysis18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 : proceedings /
by:
(1998 :); SpringerLink (Online service); Yahav, Eran.
(Electronic resources)
Hardware and software: Verification and Testing10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014 : proceedings /
by:
(1998 :); SpringerLink (Online service); Yahav, Eran.
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Software architecture
Programming Techniques.
Artificial Intelligence (incl. Robotics)
Computer programming
Programming languages (Electronic computers)
Programming Languages, Compilers, Interpreters.
Computer programs
Computer Science.
Simulation and Modeling.
Computer Communication Networks.