Semantic integration of heterogeneous software specifications

Semantic integration of heterogeneous software specifications

Martin Große-Rhode

Berlin ; Tokyo : Springer, 2004

図書等

巻号情報

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

1

007.63-G87

10004004614

一般図書

2

007.63-G87

10004004616

一般図書

詳細情報

刊年

2004

形態

ix, 327 p. : ill. ; 24 cm

シリーズ名

Monographs in theoretical computer science : an EATCS series

注記

Includes bibliographical references (p. [311]-324) and index

出版国

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

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Große-Rhode, Martin, 1962-

分類

LCC:QA76.76.D47

DC22:005

件名

Computer software -- Development

Computer software -- Specifications

Computer science

ISBN

3540402578

NCID

BA65310991

番号

LCCN : 2003069097