Formal methods for software architectures : third International School on Formal Methods for the Design of Computer, Communication, and Software Systems : Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : advanced lectures

Formal methods for software architectures : third International School on Formal Methods for the Design of Computer, Communication, and Software Systems : Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003 : advanced lectures

Marco Bernardo, Paola Inverardi (eds.)

Berlin ; Tokyo : Springer, c2003

図書等

巻号情報

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

1
007.08-L49-2804

10003303181

一般図書

2
007.08-L49-2804

10003308146

一般図書

詳細情報

刊年

2003

形態

vi, 285 p. : ill. ; 24 cm

シリーズ名

Lecture notes in computer science ; 2804

注記

Includes bibliographical references and index

出版国

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

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Bernardo, Marco

Inverardi, Paola

International School on Formal Methods for the Design of Computer, Communication and Software Systems [ SFM ] [ Software Architectures, SFM ]

件名

Computer software

Computer architecture

System design

Formal methods (Computer science)

ISBN

3540200835

NCID

BA6383438X

番号

LCCN : 2003060987

メールで送信

宛先

件名

ブックマークに登録

リストを選択

指定なし

メモ

ブックマークを編集

リストを選択

メモ

リストを選択