Concurrency verification : introduction to compositional and noncompositional methods

Concurrency verification : introduction to compositional and noncompositional methods

Willem-Paul de Roever ... [et al.]

Cambridge ; New York : Cambridge University Press, 2001

図書等

巻号情報

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

1

007.64-R61

10005023604

一般図書

詳細情報

刊年

2001

形態

xxii, 776 p. : ill. ; 24 cm

シリーズ名

Cambridge tracts in theoretical computer science ; 54

注記

Includes bibliographical references and index

出版国

イギリス

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

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

ISBN

0521806089

NCID

BA54487161