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

Preview

Export

ChatGPT Discussion

AI Recommended Related Books