株式会社極東書店トップ ＞ 商品一覧 ＞ Fields of Logic and Computation II : Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday. 1st ed. 2015.
商品詳細
Fields of Logic and Computation II : Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday. 1st ed. 2015.
・ISBN 978-3-319-23533-2 paper EUR 49.99
￥13,361.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
お気に入り
★★★
| 著者・編者 | Beklemishev, Lev D. / Blass, Andreas / Dershowitz, Nachum / Finkbeiner, Bernd / Schulte, Wolfram (eds.), |
|---|---|
| シリーズ | Lecture Notes in Computer Science |
| 出版社 | (Springer International Publishing AG, SZ) |
| 出版年月 | 2015 |
| ページ数 | 319 pp. |
| 言語 | ENG |
| ニュース番号 | ＜M25-20320＞ |
解説
This Festschrift is published in honor of Yuri Gurevich's 75th birthday. Yuri Gurevich has made fundamental contributions on the broad spectrum of logic and computer science, including decision procedures, the monadic theory of order, abstract state machines, formal methods, foundations of computer science, security, and much more. Many of these areas are reflected in the 20 articles in this Festschrift and in the presentations at the "Yurifest" symposium, which was held in Berlin, Germany, on September 11 and 12, 2015. The Yurifest symposium was co-located with the 24th EACSL Annual Conference on Computer Science Logic (CSL 2015).