Integration of software specification techniques for applications in engineering : priority program SoftSpez of the German Research Foundation (DFG) : final report

Integration of software specification techniques for applications in engineering : priority program SoftSpez of the German Research Foundation (DFG) : final report

Hartmut Ehrig ... [et al.] (eds.)

Berlin : Springer, c2004

図書等

巻号情報

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

1

007.08-L49-3147

10004016307

一般図書

詳細情報

刊年

2004

形態

x, 628 p. : ill. ; 24 cm

シリーズ名

Lecture notes in computer science ; 3147

注記

Includes bibliographical references and index

On cover: State-of-the-Art Survey

出版国

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

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Deutsche Forschungsgemeinschaft [ DFG ] [ Association allemande de la recherche scientifique ] [ Emergency Council for German Science ] [ Fundación Alemana para la Investigación Científica ] [ German Research Association ] [ German Research Society ] [ German Science Foundation ] [ Deutsche Forschungsgemeinschaft (Founded 1949) ] [ D.F.G. ] [ German Research Foundation ] [ Notgemeinschaft der Deutschen Wissenschaft ] [ Deutscher Forschungsrat ]

Ehrig, Hartmut [ Ehrig, H. (Hartmut) ]

Damm, Werner

Desel, Jörg

Groβe-Rhode, Martin

Reif, Wolfgang

Schnieder, Eckehard

Westkämper, Engelbert

ISBN

3540231358

NCID

BA6932903X

番号

LCCN : 2004111959