Completeness of pointer program verification by separation logic (NII technical report NII-2009-013E)

The cover of this title could differ from library to library.

Read via the Internet

国立国会図書館デジタルコレクション

Completeness of pointer program verification by separation logic(NII technical report NII-2009-013E)

Search by Bookstore

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 電子書籍・電子雑誌
Title: Completeness of pointer program verification by separation logic
Author/Editor: Makoto Tatsuta
Wei-Ngan Chin
Mahmudul Faisal Al Ameen
Series Title: NII technical report NII-2009-013E
Publication, Distribution, etc.: 日本 : 国立情報学研究所
Publication Date: 2009-06
Publication Date (W3CDTF): 2009-06
Text Language Code: eng
Persistent ID (NDL): info:ndljp/pid/9418889
https://dl.ndl.go.jp/pid/9418889
Collection: 障害者向け資料
Collection (Materials For Handicapped People:1): テキストデータ
Collection (particular): 国立国会図書館デジタルコレクション > 電子書籍・電子雑誌 > 学術機関 > 大学共同利用機関法人
https://dl.ndl.go.jp/collections/B00042
Acquisition Basis: インターネット資料収集保存事業（WARP）
Date Accepted (W3CDTF): 2015-06-24T21:29:20+09:00
Date Captured (W3CDTF): 2010-04-13
Format (IMT): application/pdf
Access Restrictions: インターネット公開
Availability of remote photoduplication service: 不可
Periodical Title (URI): https://warp.da.ndl.go.jp/info:ndljp/pid/1006636/research.nii.ac.jp/TechReports/09-013E.html
Data Provider (Database): 国立国会図書館 : 国立国会図書館デジタルコレクション
https://dl.ndl.go.jp