서브메뉴
검색
Advanced Language-Based Techniques for Correct, Secure Networked Systems
Advanced Language-Based Techniques for Correct, Secure Networked Systems
상세정보
- 자료유형
- 학위논문
- Control Number
- 0015760262
- International Standard Book Number
- 9798678127877
- Dewey Decimal Classification Number
- 004
- Main Entry-Personal Name
- Parker, James.
- Publication, Distribution, etc. (Imprint
- [Sl] : University of Maryland, College Park, 2020
- Publication, Distribution, etc. (Imprint
- Ann Arbor : ProQuest Dissertations & Theses, 2020
- Physical Description
- 232 p
- General Note
- Source: Dissertations Abstracts International, Volume: 82-04, Section: B.
- General Note
- Advisor: Hicks, Michael.
- Dissertation Note
- Thesis (Ph.D.)--University of Maryland, College Park, 2020.
- 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
- Advanced language
- Index Term-Uncontrolled
- Networked systems
- Index Term-Uncontrolled
- Secure software
- Index Term-Uncontrolled
- BIBIFI
- Index Term-Uncontrolled
- Typeclass
- Index Term-Uncontrolled
- Programming
- Added Entry-Corporate Name
- University of Maryland, College Park Computer Science
- Host Item Entry
- Dissertations Abstracts International. 82-04B.
- Host Item Entry
- Dissertation Abstract International
- Electronic Location and Access
- 로그인을 한후 보실 수 있는 자료입니다.
- Control Number
- joongbu:592412
MARC
008210127s2020 c eng d■001000015760262
■00520210215113217
■020 ▼a9798678127877
■035 ▼a(MiAaPQ)AAI28031639
■040 ▼aMiAaPQ▼cMiAaPQ
■0820 ▼a004
■1001 ▼aParker, James.
■24510▼aAdvanced Language-Based Techniques for Correct, Secure Networked Systems
■260 ▼a[Sl]▼bUniversity of Maryland, College Park▼c2020
■260 1▼aAnn Arbor▼bProQuest Dissertations & Theses▼c2020
■300 ▼a232 p
■500 ▼aSource: Dissertations Abstracts International, Volume: 82-04, Section: B.
■500 ▼aAdvisor: Hicks, Michael.
■5021 ▼aThesis (Ph.D.)--University of Maryland, College Park, 2020.
■506 ▼aThis item must not be sold to any third party vendors.
■590 ▼aSchool code: 0117.
■650 4▼aComputer science
■650 4▼aComputer engineering
■653 ▼aAdvanced language
■653 ▼aNetworked systems
■653 ▼aSecure software
■653 ▼aBIBIFI
■653 ▼aTypeclass
■653 ▼aProgramming
■690 ▼a0984
■690 ▼a0464
■71020▼aUniversity of Maryland, College Park▼bComputer Science.
■7730 ▼tDissertations Abstracts International▼g82-04B.
■773 ▼tDissertation Abstract International
■790 ▼a0117
■791 ▼aPh.D.
■792 ▼a2020
■793 ▼aEnglish
■85640▼uhttp://www.riss.kr/pdu/ddodLink.do?id=T15760262▼nKERIS▼z이 자료의 원문은 한국교육학술정보원에서 제공합니다.
■980 ▼a202102▼f2021
