詳細情報

刊年

2003

形態

xi, 681 p. : ill. ; 24 cm

シリーズ名

Lecture notes in computer science ; 2885

注記

Includes bibliographies and index

出版国

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

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

ICFEM [ International Conference on Formal Engineering Methods ]

Dong, Jin Song, 1967-

Woodcock, James [ Woodcock, J. C. P. ] [ Woodcock, Jim ]

件名

Formal methods (Computer science) -- Congresses

Software engineering -- Congresses

ISBN

354020461X

NCID

BA64762841