Releases by Eran Yahav

In stock at iMusic Show unavailable items

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 (Paperback Book) [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 (Paperback Book) (2011)

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