서브메뉴
검색
Certified Software: Only if the programmer can prove (through formal machine-checkable proofs) it's free of bugs with respect to a claim of dependability
Certified Software: Only if the programmer can prove (through formal machine-checkable proofs) it's free of bugs with respect to a claim of dependability
상세정보
- 자료유형
- 기사
- ISSN
- 00010782
- 저자명
- Shao, Z.
- 서명/저자
- Certified Software: Only if the programmer can prove (through formal machine-checkable proofs) its free of bugs with respect to a claim of dependability / Shao, Z.
- 발행사항
- Broadway, NY : Association for Computing Machinery, 2010.
- 형태사항
- pp. p.56-66
- 주기사항
- included reference
- 원문정보
- url
- 모체레코드
- 모체정보확인
- Control Number
- kjul:60250442
MARC
008200113s2010 ai aa eng■022 ▼a00010782
■1001 ▼aShao, Z.
■24510▼aCertified Software: Only if the programmer can prove (through formal machine-checkable proofs) it's free of bugs with respect to a claim of dependability ▼d Shao, Z.
■260 ▼aBroadway, NY▼bAssociation for Computing Machinery▼c2010.
■300 ▼app. p.56-66
■500 ▼aincluded reference
■773 ▼tCommunications of the ACM.▼gVol. 53 No. 12 (2010. 12)▼d2010, 12
■856 ▼uhttp://www.acm.org/cacm/
■SIS ▼aS057046▼b60077699▼h8▼s2▼fP
