詳細情報

刊年

1999

形態

2 v. : ill. ; 24 cm

シリーズ名

Lecture notes in computer science ; 1708, 1709

注記

Includes bibliographical references and index

"FM '99, the First World Congress on Formal Methods in the Development of Computing Systems" -- Pref

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

World Congress on Formal Methods in the Development of Computing Systems [ Congress on Formal Methods in the Development of Computing Systems, World ] [ FM ]

Wing, Jeannette Marie [ Wing, J. M. (Jeannette Marie) ] [ Wing, Jeannette M ]

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

Davies, Jim, 1964- [ Davies, James William, 1964- ]

分類

LCC:QA76.9.F67

件名

Formal methods (Computer science) -- Congresses

Application software -- Development -- Congresses

ISBN

3540665870 (v. 1) ; 3540665889 (v. 2)

NCID

BA43361015

番号

LCCN : 99049628