충남도립대학교 도서관

본문 바로가기
탑 메뉴 바로가기
주 메뉴 바로가기
하단 바로가기

상세정보

청구기호출력

예약
서가에 없는 책 신고
나의폴더

소장자료
등록번호	청구기호	소장처	대출가능여부	대출정보
AR0017063	S-569.905-한61		대출불가(관내열람)	대출불가(관내열람) 마이폴더 부재도서신고

* 대출중인 자료에 한하여 예약이 가능합니다. 예약을 원하시면 예약버튼을 클릭하십시오.

광역조건식에 의한 공유자원 접근오류 검색 : Detecting Shared Resource Usage Errors with Glo...

내용보기

광역조건식에 의한 공유자원 접근오류 검색 : Detecting Shared Resource Usage Errors with Global Predicates

자료유형: 단행본

ISSN: 12296848

청구기호: S-569.905-한613ㅈㄴ 1999(7-12)

서명/저자: 광역조건식에 의한 공유자원 접근오류 검색 : Detecting Shared Resource Usage Errors with Global Predicates / 이은정 저 ; 윤기송 공저

발행사항: 서울 : 한국정보과학회, 2000.

형태사항: pp. 1445-1454

일반주제명: 소프트웨어공학

키워드: 광역조건식 공유자원 접근 오류검색

기타저자: 이은정

기타저자: 윤기송

기본자료저록: 정보과학회논문지(B):소프트웨어 및 응용 : 26권 12호 (1999년 12월) 2000, 01

URL: http://

모체레코드: 모체정보확인

신착도서 더보기