Data refinement : model-oriented proof methods and their comparison

Data refinement : model-oriented proof methods and their comparison

Willem-Paul de Roever, Kai Engelhardt ; with the assistance of Karl-Heinz Buth ... [et al.]

Cambridge ; New York : Cambridge University Press, 1998

図書等

巻号情報

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

1

007.6-R61

10005023600

一般図書

詳細情報

刊年

1998

形態

xi, 423 p. : ill. ; 24 cm

シリーズ名

Cambridge tracts in theoretical computer science ; 47

注記

Includes bibliographical references (p. 404-418) and index

出版国

イギリス

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Roever, W.-P. de, 1943- [ Roever, Willem-Paul de ] [ De Roever, W.-P ]

Engelhardt, K. (Kai), 1966- [ Engelhardt, Kai, 1966- ]

Buth, Karl-Heinz

分類

LCC:QA79.9.C65

DC21:003.3

件名

Computer simulation

Data structures (Computer science)

Computer programs -- Verification

ISBN

0521641705

NCID

BA38817345

番号

LCCN : 98024731