서브메뉴
검색
Turing Lecture
Turing Lecture
상세정보
- 자료유형
- 기사
- ISSN
- 00010782
- 저자명
- Clarke, E.M.
- 서명/저자
- Turing Lecture / Clarke, E.M. , Emerson, E.A. , Sifakis, J.
- 발행사항
- Broadway, NY : Association for Computing Machinery, 2009.
- 형태사항
- pp. 74-85
- 주기사항
- included reference
- 기타저자
- Emerson, E.A.
- 기타저자
- Sifakis, J.
- 원문정보
- url
- 모체레코드
- 모체정보확인
- Control Number
- kjul:60250870
MARC
008200116s2009 ai aa eng■022 ▼a00010782
■1001 ▼aClarke, E.M.
■24510▼aTuring Lecture▼dClarke, E.M.▼eEmerson, E.A.▼eSifakis, J.
■260 ▼aBroadway, NY▼bAssociation for Computing Machinery▼c2009.
■300 ▼app. 74-85
■500 ▼aincluded reference
■7001 ▼aEmerson, E.A.
■7001 ▼aSifakis, J.
■773 ▼tCommunications of the ACM.▼gVol. 52 No. 11 (2009. 11)▼d2009, 11
■856 ▼uhttp://www.acm.org/acm/
■SIS ▼aS052431▼b60077699▼h8▼s2
