.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Fields of Logic and Computation II
. Ed(S): Beklemishev, Lev D.; Blass, Andreas; Dershowitz, Nachum; Schulte, Wolfram; Finkbeiner, Bernd
€ 67.03
FREE Delivery in Ireland
Description for Fields of Logic and Computation II
Paperback. Editor(s): Beklemishev, Lev D.; Blass, Andreas; Dershowitz, Nachum; Schulte, Wolfram; Finkbeiner, Bernd. Series: Lecture Notes in Computer Science. Num Pages: 329 pages, 15 black & white illustrations, biography. BIC Classification: PBCD; UYA. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 510.
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).
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).
Product Details
Format
Paperback
Publication date
2015
Publisher
Springer International Publishing AG Switzerland
Number of pages
329
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
319
Place of Publication
Cham, Switzerland
ISBN
9783319235332
SKU
V9783319235332
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Fields of Logic and Computation II