詳細情報

刊年

2003

形態

xvii, 942 p. : ill. ; 24 cm

シリーズ名

Lecture notes in computer science ; 2805

注記

Includes bibliographical references and index

CLS:DC22:005.1

出版国

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

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

International Symposium of Formal Methods Europe [ FME ] [ Symposium of Formal Methods Europe, International ]

荒木, 啓二郎 (アラキ, ケイジロウ) [ Araki, Keijiro ] [ Araki, Keiziro ] [ Araki, K. ]

Gnesi, Stefania, 1954-

Mandrioli, Dino

分類

LCC:QA76.76.D47

件名

Computer software -- Development -- Congresses

Formal methods (Computer science) -- Congresses

System design -- Mathematics -- Congresses

ISBN

3540408282

NCID

BA63745075