서브메뉴
검색
Specification and Verification: The Spec# Experience
Specification and Verification: The Spec# Experience
Detailed Information
- Material Type
- 기사
- ISSN
- 00010782
- Author
- Barnett, M.
- Title/Author
- Specification and Verification: The Spec# Experience / Barnett, M. ; , Fahndrich, M. , Leino, K.R.M. , Muller, P. , Schulte, W. , Venter, H.
- Publish Info
- Broadway, NY : Association for Computing Machinery, 2011.
- Material Info
- pp. p.81-91
- General Note
- included reference
- Added Entry-Personal Name
- , Fahndrich, M. , Leino, K.R.M. , Muller, P. , Schulte, W. , Venter, H.
- Host Item Entry
- Communications of the ACM. : Vol. 54 No. 6 (2011. 6) 2011, 06
- Electronic Location and Access
- url
- 모체레코드
- 모체정보확인
- Control Number
- kjul:60250408
MARC
008200113s2011 ai aa eng■022 ▼a00010782
■1001 ▼aBarnett, M.
■24510▼aSpecification and Verification: The Spec# Experience ▼dBarnett, M. ▼e, Fahndrich, M. , Leino, K.R.M. , Muller, P. , Schulte, W. , Venter, H.
■260 ▼aBroadway, NY▼bAssociation for Computing Machinery▼c2011.
■300 ▼app. p.81-91
■500 ▼aincluded reference
■7001 ▼a, Fahndrich, M. , Leino, K.R.M. , Muller, P. , Schulte, W. , Venter, H.
■773 ▼tCommunications of the ACM.▼gVol. 54 No. 6 (2011. 6)▼d2011, 06
■856 ▼uhttp://www.acm.org/cacm/
■SIS ▼aS058081▼b60077699▼h8▼s2▼fP
Preview
Export
ChatGPT Discussion
AI Recommended Related Books
Detail Info.
- Reservation
- Not Exist
- My Folder
- Reference Materials for Thesis Writing
- Reference Materials for Research Ethics
- Job-Related Books
