Hardware and Software: Verification and Testing : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers (Lecture Notes in Computer Science / Programming and Software Engineering .7261) (2012. 2012. XI, 263 S. 235 mm)
  • 洋書