다운로드 Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings DOC

파일 정보: verification_model_checking_and_abstract.doc

  • 페이지 뷰 : 27148
  • 도서 다운로드 : 18204
  • 마지막으로 방문한 페이지 : 4 시간 전
  • 파일 크기 : 4.89Mb
  • 도서 등급 : 3.8 out of 5 (189 votes)
france.ferentinos.co.uk

Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings 리뷰