서브메뉴
검색
Compositional and Automated Verification of Distributed Systems.
Compositional and Automated Verification of Distributed Systems.
상세정보
- 자료유형
- 학위논문
- Control Number
- 0016052619
- International Standard Book Number
- 9798480642780
- Dewey Decimal Classification Number
- 004
- Main Entry-Personal Name
- Wilcox, James R.
- Publication, Distribution, etc. (Imprint
- [S.l.] : University of Washington., 2021
- Publication, Distribution, etc. (Imprint
- Ann Arbor : ProQuest Dissertations & Theses, 2021
- Physical Description
- 161 p.
- General Note
- Source: Dissertations Abstracts International, Volume: 83-05, Section: B.
- General Note
- Advisor: Tatlock, Zachary.
- Dissertation Note
- Thesis (Ph.D.)--University of Washington, 2021.
- Restrictions on Access Note
- This item must not be sold to any third party vendors.
- Subject Added Entry-Topical Term
- Computer science.
- Subject Added Entry-Topical Term
- Computer engineering.
- Index Term-Uncontrolled
- Fault tolerance
- Index Term-Uncontrolled
- Distributed systems
- Index Term-Uncontrolled
- Programming languages techniques
- Index Term-Uncontrolled
- Separation logic
- Added Entry-Corporate Name
- University of Washington Computer Science and Engineering
- Host Item Entry
- Dissertations Abstracts International. 83-05B.
- Host Item Entry
- Dissertation Abstract International
- Electronic Location and Access
- 로그인을 한후 보실 수 있는 자료입니다.
- Control Number
- joongbu:612347
MARC
008220603s2021 ulk 00 kor■001000016052619
■00520220210093335
■020 ▼a9798480642780
■035 ▼a(MiAaPQ)AAI28545091
■040 ▼aMiAaPQ▼cMiAaPQ
■0820 ▼a004
■1001 ▼aWilcox, James R.
■24510▼aCompositional and Automated Verification of Distributed Systems.
■260 ▼a[S.l.]▼bUniversity of Washington. ▼c2021
■260 1▼aAnn Arbor▼bProQuest Dissertations & Theses▼c2021
■300 ▼a161 p.
■500 ▼aSource: Dissertations Abstracts International, Volume: 83-05, Section: B.
■500 ▼aAdvisor: Tatlock, Zachary.
■5021 ▼aThesis (Ph.D.)--University of Washington, 2021.
■506 ▼aThis item must not be sold to any third party vendors.
■590 ▼aSchool code: 0250.
■650 4▼aComputer science.
■650 4▼aComputer engineering.
■653 ▼aFault tolerance
■653 ▼aDistributed systems
■653 ▼aProgramming languages techniques
■653 ▼aSeparation logic
■690 ▼a0984
■690 ▼a0464
■71020▼aUniversity of Washington▼bComputer Science and Engineering.
■7730 ▼tDissertations Abstracts International▼g83-05B.
■773 ▼tDissertation Abstract International
■790 ▼a0250
■791 ▼aPh.D.
■792 ▼a2021
■793 ▼aEnglish
■85640▼uhttp://www.riss.kr/pdu/ddodLink.do?id=T16052619▼nKERIS▼z이 자료의 원문은 한국교육학술정보원에서 제공합니다.
■980 ▼a202202▼f2022
