Why3を用いた区間べき関数のプログラム検証

国立国会図書館永続的識別子: info:ndljp/pid/11669763

資料種別: 記事

著者: 村上椋星ほか

出版者: 日本ソフトウェア科学会

出版年: 2019

資料形態: デジタル

掲載誌名: 日本ソフトウェア科学会大会講演論文集第36回

掲載ページ: -

すべて見る

国立国会図書館での利用に関する注記

本資料は、掲載誌(URI)等のリンク先にある電子書籍・電子雑誌の提供元Webサイトなどから、本文を自由に閲覧できる場合があります。

資料に関する注記

一般注記：: 3-S

書誌情報

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

デジタル

資料種別: 記事
タイトル: Why3を用いた区間べき関数のプログラム検証
著者・編者: 村上椋星
薮智仁
石井大輔
出版事項: 日本 : 日本ソフトウェア科学会
出版年月日等: 2019
出版年（W3CDTF）: 2019
タイトル（掲載誌）: 日本ソフトウェア科学会大会講演論文集
巻号年月日等（掲載誌）: 第36回
掲載巻: 第36回
本文の言語コード: jpn
一般注記: 3-S
国立国会図書館永続的識別子: info:ndljp/pid/11669763
https://dl.ndl.go.jp/pid/11669763
コレクション（共通）: 障害者向け資料
コレクション（障害者向け資料：レベル1）: テキストデータ
コレクション（個別）: 国立国会図書館デジタルコレクション > 電子書籍・電子雑誌 > 学術機関 > 学協会
https://dl.ndl.go.jp/collections/B00043
収集根拠: オンライン資料収集制度
受理日（W3CDTF）: 2021-05-06T21:22:32+09:00
保存日（W3CDTF）: 2021-02-26
記録形式（IMT）: application/pdf
オンライン閲覧公開範囲: 国立国会図書館内限定公開
デジタル化資料送信: 図書館・個人送信対象外
遠隔複写可否（NDL）: 可
掲載誌（URI）: https://jssst.or.jp/files/user/taikai/2019/proceedings.html
掲載誌（国立国会図書館永続的識別子）: info:ndljp/pid/11669760
https://dl.ndl.go.jp/pid/11669760
連携機関・データベース: 国立国会図書館 : 国立国会図書館デジタルコレクション
https://dl.ndl.go.jp