서브메뉴
검색
Refinement-Based Game Semantics for Certified Components
Refinement-Based Game Semantics for Certified Components
상세정보
- 자료유형
- 학위논문파일 국외
- ISBN
- 9798538102730
- DDC
- 004
- 저자명
- Koenig, Jeremie.
- 서명/저자
- Refinement-Based Game Semantics for Certified Components
- 발행사항
- [Sl] : Yale University, 2020
- 발행사항
- Ann Arbor : ProQuest Dissertations & Theses, 2020
- 형태사항
- 202 p
- 주기사항
- Source: Dissertations Abstracts International, Volume: 83-03, Section: B.
- 주기사항
- Advisor: Shao, Zhong.
- 학위논문주기
- Thesis (Ph.D.)--Yale University, 2020.
- 사용제한주기
- 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
- 키워드
- Formal methods
- 키워드
- Game semantics
- 기타저자
- Yale University Computer Science
- 기본자료저록
- Dissertations Abstracts International. 83-03B.
- 기본자료저록
- Dissertation Abstract International
- 전자적 위치 및 접속
- 로그인 후 원문을 볼 수 있습니다.
MARC
008220131s2020 us c eng d■020 ▼a9798538102730
■035 ▼a(MiAaPQ)AAI28094879
■040 ▼aMiAaPQ▼cMiAaPQ
■0820 ▼a004
■1001 ▼aKoenig, Jeremie.
■24510▼aRefinement-Based Game Semantics for Certified Components
■260 ▼a[Sl]▼bYale University▼c2020
■260 1▼aAnn Arbor▼bProQuest Dissertations & Theses▼c2020
■300 ▼a202 p
■500 ▼aSource: Dissertations Abstracts International, Volume: 83-03, Section: B.
■500 ▼aAdvisor: Shao, Zhong.
■5021 ▼aThesis (Ph.D.)--Yale University, 2020.
■506 ▼aThis item must not be sold to any third party vendors.
■590 ▼aSchool code: 0265.
■650 4▼aComputer science
■650 4▼aOperating systems
■650 4▼aLanguage
■650 4▼aCalculus
■650 4▼aSimulation
■650 4▼aConstruction
■650 4▼aBehavior
■650 4▼aSoftware
■650 4▼aProgramming languages
■650 4▼aConventions
■650 4▼aSystems design
■650 4▼aLogic
■650 4▼aFlexibility
■650 4▼aDissertations & theses
■650 4▼aDecomposition
■650 4▼aApproximation
■650 4▼aTaxonomy
■650 4▼aAlgebra
■650 4▼aGames
■650 4▼aSemantics
■650 4▼aInterfaces
■653 ▼aAlgebraic effects
■653 ▼aCertified compilation
■653 ▼aCompositional semantics
■653 ▼aFormal methods
■653 ▼aGame semantics
■653 ▼aRefinement calculus
■690 ▼a0984
■690 ▼a0395
■690 ▼a0679
■71020▼aYale University▼bComputer Science.
■7730 ▼tDissertations Abstracts International▼g83-03B.
■773 ▼tDissertation Abstract International
■790 ▼a0265
■791 ▼aPh.D.
■792 ▼a2020
■793 ▼aEnglish
■85640▼uhttp://www.riss.kr/pdu/ddodLink.do?id=T16051061▼nKERIS▼z이 자료의 원문은 한국교육학술정보원에서 제공합니다.
■980 ▼a202202▼f2022
