Introduction to bisimulation and coinduction

"Induction is a pervasive tool in computer science and mathematics for defining objects and reasoning on them. Coinduction is the dual of induction and as such it brings in quite different tools. Today, it is widely used in computer science, but also in other fields, including artificial intell...

全面介紹

Saved in:
書目詳細資料
主要作者: Sangiorgi, Davide (Author)
格式: 圖書
語言:英语
出版: Cambridge, United Kingdom ; New York,USA : Cambridge University Press, 2012.
主題:
標簽: 添加標簽
沒有標簽, 成為第一個標記此記錄!

相似書籍