대구한의대학교 향산도서관

상세정보

부가기능

Refinement-Based Game Semantics for Certified Components

상세 프로파일

상세정보
자료유형학위논문
서명/저자사항Refinement-Based Game Semantics for Certified Components.
개인저자Koenig, Jeremie.
단체저자명Yale University. Computer Science.
발행사항[S.l.]: Yale University., 2020.
발행사항Ann Arbor: ProQuest Dissertations & Theses, 2020.
형태사항202 p.
기본자료 저록Dissertations Abstracts International 83-03B.
Dissertation Abstract International
ISBN9798538102730
학위논문주기Thesis (Ph.D.)--Yale University, 2020.
일반주기 Source: Dissertations Abstracts International, Volume: 83-03, Section: B.
Advisor: Shao, Zhong.
이용제한사항This item must not be sold to any third party vendors.
일반주제명Computer science.
Operating systems.
Language.
Calculus.
Simulation.
Construction.
Behavior.
Software.
Programming languages.
Conventions.
Systems design.
Logic.
Flexibility.
Dissertations & theses.
Decomposition.
Approximation.
Taxonomy.
Algebra.
Games.
Semantics.
Interfaces.
언어영어
바로가기URL : 이 자료의 원문은 한국교육학술정보원에서 제공합니다.

서평(리뷰)

  • 서평(리뷰)

태그

  • 태그

나의 태그

나의 태그 (0)

모든 이용자 태그

모든 이용자 태그 (0) 태그 목록형 보기 태그 구름형 보기
 
로그인폼