본문

  1. Home
  4. 소장자료검색
2 Results:SS:PROGRAMVERIFICATION 0.93 sec.
RSS 
다국어입력
 상세검색
 신착검색
선택출력 선택엑셀내보내기
1
Automated Approaches for Program Verification and Repair.
Automated Approaches for Program Verification and Repair.
Hallahan, William T.Computer Science. | Yale University. | 2022
프린트
2
Program Synthesis for Declarative Systems- [electronic resource]
Program Synthesis for Declarative Systems- [electronic resource]
Chen, Haoxian.Computer and Information Science. | University of Pennsylvania. | 2023
프린트
처음1마지막