Willkommen, schön sind Sie da!
Logo Ex Libris

Fields of Logic and Computation II

  • Kartonierter Einband
  • 319 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This Festschrift is published in honor of Yuri Gurevich's 75th birthday. Yuri Gurevich has made fundamental contributions on the b... Weiterlesen
CHF 114.00
Exemplar wird für Sie besorgt.
Kein Rückgaberecht!
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

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).

Contains papers presented at a symposium in honor of Yuri Gurevich on the occasion of his 75th birthday.

The Festschrift includes contributions from colleagues and friends who have accompanied Yuri Gurevich through his scientific life.

Covers a broad spectrum of topics all touching the theme of Logic and Computation

Includes supplementary material: sn.pub/extras



Klappentext
Fields of Logic and Computation II

This Festschrift has been published in honor of Yuri Gurevich, on the occasion
of his 75th birthday. Yuri Gurevich has made a number of fundamental contributions
to 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).

Produktinformationen

Titel: Fields of Logic and Computation II
Untertitel: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday
Editor:
EAN: 9783319235332
ISBN: 978-3-319-23533-2
Format: Kartonierter Einband
Herausgeber: Springer, Berlin
Genre: Informatik
Anzahl Seiten: 319
Größe: H16mm x B238mm x T156mm
Jahr: 2015
Untertitel: Englisch
Auflage: 1st ed. 2015

Weitere Produkte aus der Reihe "Programming and Software Engineering"