서브메뉴
검색
Cautiously Optimistic Program Analyses for Secure and Reliable Software.
Cautiously Optimistic Program Analyses for Secure and Reliable Software.
- 자료유형
- 학위논문
- Control Number
- 0016055698
- International Standard Book Number
- 9798471103405
- Dewey Decimal Classification Number
- 004
- Main Entry-Personal Name
- Banerjee, Subarno.
- Publication, Distribution, etc. (Imprint
- [S.l.] : University of Michigan., 2021
- Publication, Distribution, etc. (Imprint
- Ann Arbor : ProQuest Dissertations & Theses, 2021
- Physical Description
- 141 p.
- General Note
- Source: Dissertations Abstracts International, Volume: 83-05, Section: B.
- General Note
- Advisor: Narayanasamy, Satish.
- Dissertation Note
- Thesis (Ph.D.)--University of Michigan, 2021.
- Restrictions on Access Note
- This item must not be sold to any third party vendors.
- Restrictions on Access Note
- This item must not be added to any third party search indexes.
- Subject Added Entry-Topical Term
- Computer science.
- Subject Added Entry-Topical Term
- Computer engineering.
- Subject Added Entry-Topical Term
- Information technology.
- Subject Added Entry-Topical Term
- Information science.
- Index Term-Uncontrolled
- Program Analysis
- Index Term-Uncontrolled
- Information-Flow Tracking
- Index Term-Uncontrolled
- Garbage Collection
- Index Term-Uncontrolled
- Sequential Consistency
- Added Entry-Corporate Name
- University of Michigan Computer Science & Engineering
- Host Item Entry
- Dissertations Abstracts International. 83-05B.
- Host Item Entry
- Dissertation Abstract International
- Electronic Location and Access
- 로그인을 한후 보실 수 있는 자료입니다.
- Control Number
- joongbu:609717
Info Détail de la recherche.
- Réservation
- 캠퍼스간 도서대출
- 서가에 없는 책 신고
- My Folder