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

파일 정보: verification_model_checking_and_abstract.fb2

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

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