日本ソフトウェア科学会大会論文集

• Material Type: 雑誌
• Title: 日本ソフトウェア科学会大会論文集
• Title Transcription: ニホン ソフトウェア カガッカイ タイカイ ロンブンシュウ
• Volume: 32:2015.9.9-2015.9.11
• Author/Editor: 日本ソフトウェア科学会 編
• Author/Editor (Alternative Title): Japan Society for Software Science and Technology
• Author Heading: 日本ソフトウェア科学会 ニホン ソフトウェア カガッカイ ( 00258002 )Authorities
• Publication, Distribution, etc.: [東京] : 日本ソフトウェア科学会
• Publication Date: 2015
• Publication Date (W3CDTF): 2015
• Year and volume of publication: 1回 (1984)-第36回 (2019年8月27/29日)
• Size: 30cm
• Alternative Title: 日本ソフトウェア科学会大会講演論文集 ニホン ソフトウェア カガッカイ タイカイ コウエン ロンブンシュウ; Conference proceedings
• ISSN (Periodical Title): 0913-5391
• ISSN-L (Periodical Title): 0913-5391
• Place of Publication (Country Code): JP
• Text Language Code: jpn; eng
• Content Type: テキスト
• Media Type: 機器不用
• Carrier Type: 冊子
• NDLC: ZM13
• Note (General): 本タイトル等は最新号による; 本タイトルは「日本ソフトウェア科学会大会講演論文集」のこともあり; 3回から6回の並列タイトル: Conference proceedings, Japan Society for Software Science and Technology; 1回から6回, 32回から第36回までの編者: 日本ソフトウェア科学会
• Holding library: 国立国会図書館
• Call No.: Z14-1245
• Is Format Of: 他媒体版 : 日本ソフトウェア科学会大会講演論文集 [電子資料] (ISSN:1348-0901); https://ndlsearch.ndl.go.jp/books/R100000002-I000003980312
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000000050201; http://id.ndl.go.jp/bib/000000050201
• Cataloging Rule: Nippon Cataloguing Rules 1987 Revised Edition

Table of Contents

アンドロイド・アプリの電力消費振舞い : 形式モデルと有界解析

実現可能性の必要条件に基づいた不完全リアクティブシステム合成

段階的検査法を用いたモデル検査の反例分析手法

漸進的論理のシークエント計算

関数型プログラムの不変条件のICE流学習手法