Viser Pocketbok · Vis alle
Vis utilgjengelige utgivelser

Releases med Eran Yahav

Cover for Eran Yahav · Programming with "Big Code" - Foundations and Trends (R) in Programming Languages (Pocketbok) (2016)

Programming with "Big Code" - Fo... (2016)

Cover for Eran Yahav · Hardware and Software: Verification and Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings - Lecture Notes in Computer Science (Pocketbok) [2014 edition] (2014)

Hardware and Software: Verificat... (2014)

Cover for Eran Yahav · Static Analysis: 18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings - Lecture Notes in Computer Science (Pocketbok) (2011)

Static Analysis: 18th Internatio... (2011)