Formal methods at the crossroads : from panacea to foundational support : 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers

Formal methods at the crossroads : from panacea to foundational support : 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers

Bernhard K. Aichernig, Tom Maibaum (eds.)

Berlin ; Tokyo : Springer, c2003

図書等

巻号情報

No. 所在 請求記号 資料ID 資料タイプ 状況（返却予定日） コレクション 備考 予約・取り寄せ人数

1
007.08-L49-2757

10003311694

一般図書

2
007.08-L49-2757

10003308960

一般図書

詳細情報

刊年

2003

形態

xiv, 453 p. : ill., col. port. ; 24 cm

シリーズ名

Lecture notes in computer science ; 2757

注記

Includes bibliographical references and index

出版国

ドイツ＝ドイツ連邦共和国

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Aichernig, Bernhard K.

Maibaum, Tom

Anniversary Colloquium of UNU/IIST [ United Nations University ]

ISBN

3540205276

NCID

BA64776041

メールで送信

宛先

件名

ブックマークに登録

リストを選択

指定なし

メモ

ブックマークを編集

リストを選択

メモ

リストを選択