Paperback Bog
Vis udgåede udgivelser

Udgivelser med Eran Yahav

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

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