Type Theory as a Framework for Modelling and Programming

Ionescu, C.; Jansson, P.; Botta, N.; Margaria, T.; Steffen, B.

doi:10.1007/978-3-030-03418-4_8

Type Theory as a Framework for Modelling and Programming

Ionescu, C., Jansson, P., & Botta, N. (2018). Type Theory as a Framework for Modelling and Programming. In Leveraging Applications of Formal Methods, Verification and Validation (pp. 119-133).

Item is 公開

表示: 全項目非表示: 全項目

基本情報

表示: 非表示:

アイテムのパーマリンク: https://publications.pik-potsdam.de/pubman/item/item_22780 版のパーマリンク: https://publications.pik-potsdam.de/pubman/item/item_22780_2

資料種別: 書籍の一部

ファイル

表示: ファイル

非表示: ファイル

:

8284.pdf (全文テキスト（全般）), 311KB

ファイルのパーマリンク:
-

ファイル名:
8284.pdf

説明:
-

閲覧制限:
非公開

MIMEタイプ / チェックサム:
application/pdf

技術的なメタデータ:

著作権日付:
-

著作権情報:
-

CCライセンス:
-

作成者

表示:

非表示:

作成者:
Ionescu, C.¹, 著者
Jansson, P.¹, 著者
Botta, N.¹, 著者
Margaria, T.¹, 編集者
Steffen, B.¹, 編集者

所属:
1Potsdam Institute for Climate Impact Research and Cooperation Partners, ou_persistent13

内容説明

表示:

資料詳細

表示:

非表示:

言語:

日付: Finally published : 2018

出版の状態: Finally published

ページ: -

出版情報: Cham : Springer

目次: -

査読: -

識別子（DOI, ISBNなど）: DOI: 10.1007/978-3-030-03418-4_8
PIKDOMAIN: Transdisciplinary Concepts & Methods - Research Domain IV
eDoc: 8284

学位: -

訴訟

表示:

Project information

表示:

出版物 1

表示:

非表示:

出版物名: Leveraging Applications of Formal Methods, Verification and Validation

種別: 書籍

著者・編者:

所属:

出版社, 出版地: -

ページ: - 巻号: - 通巻号: - 開始・終了ページ: 119 - 133 識別子（ISBN, ISSN, DOIなど）: -

出版物 2

表示:

非表示:

出版物名: Lecture Notes in Computer Science ; 11244

種別: 連載記事

著者・編者:

所属:

出版社, 出版地: -

ページ: - 巻号: - 通巻号: - 開始・終了ページ: - 識別子（ISBN, ISSN, DOIなど）: -

アイテム詳細

基本情報

ファイル

関連URL

作成者

内容説明

資料詳細

関連イベント

訴訟

Project information

出版物 1

出版物 2