소장 자료검색

일반국민은 물론 국내외의 북한 및 통일문제 연구자에게 북한관련 정보자료를 제공합니다.

소장 자료검색 연속간행물 검색

연속간행물 검색

서지정보

간략화면 검색화면

오류신고

주기사명: (연구론문)Pi-계산에 기초한 Web 봉사통합의 형식적검증

저자: 리영주; 한석민

서명: 과학원통보

권호: 주체100(2011)년 제4호 (루계 346호)

발행처: 과학기술출판사

발행일자: 20110730

페이지: 31-32

이 페이지에서 제공하는 정보에 대하여 만족하십니까?