この商品を友人に教える:
Advanced Topics in Bisimulation and Coinduction - Cambridge Tracts in Theoretical Computer Science Davide Sangiorgi
価格
¥ 25.372
税抜
遠隔倉庫からの取り寄せ
発送予定日 年10月27日 - 年11月12日
Davide Sangiorgi の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加
Advanced Topics in Bisimulation and Coinduction - Cambridge Tracts in Theoretical Computer Science
Davide Sangiorgi
This collection of surveys is aimed at both researchers and Master's students in computer science and mathematics. Seven chapters deal with various aspects of bisimulation and coinduction: history, algebra and coalgebra, algorithmics, logic, higher-order languages, enhancements of the bisimulation proof method, and probabilities.
340 pages, 20 b/w illus. 110 exercises
| メディア | 書籍 Hardcover Book (ハードカバー付きの本) |
| リリース済み | 2011年10月13日 |
| ISBN13 | 9781107004979 |
| 出版社 | Cambridge University Press |
| ページ数 | 340 |
| 寸法 | 162 × 237 × 24 mm · 598 g |
| 言語 | 英語 |
| 編集者 | Rutten, Jan (Stichting Centrum voor Wiskunde en Informatica (CWI), Amsterdam) |
| 編集者 | Sangiorgi, Davide |
