詳細情報

刊年

2003

形態

viii, 456 p. : ill. ; 24 cm

シリーズ名

Lecture notes in computer science ; 2755

注記

Includes bibliographical references and index

出版国

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

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

WADT [ International Workshop on Algebraic Development Techniques ] [ International Workshop, WADT ]

Wirsing, Martin

Pattinson, Dirk

Hennicker, Rolf

分類

LCC:QA76.76.D47

件名

Computer software -- Development -- Congresses

Computer science -- Mathematics -- Congresses

Abstract data types (Computer science)

ISBN

3540205373

NCID

BA64775650