Advanced topics in bisimulation and coinduction, : Hardback

Advanced topics in bisimulation and coinduction, : Hardback

edited by Davide Sangiorgi, Jan Rutten

Cambridge ; New York : Cambridge University Press, 2012

図書等

巻号情報

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

1

007.1-Sa63

10012014067

一般図書

詳細情報

刊年

2012

形態

xiii, 326 p. : ill. ; 24 cm

シリーズ名

Cambridge tracts in theoretical computer science ; 52

注記

Includes bibliographical references

出版国

イギリス

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Sangiorgi, Davide [ Sangiorgi, D ]

Rutten, J. J. M. M.

分類

DC22:003.3

件名

Computer simulation

Computer science -- Philosophy

ISBN

9781107004979 (: Hardback)

NCID

BB07757166

番号

NBN : 015846526

NBN : GBB183530

LCCN : 2011027493