Cantitate/Preț
Produs
Total produse
Vezi coșul
Fields of Logic and Computation II de Lev D. Beklemishev

Fields of Logic and Computation II: Lecture Notes in Computer Science, cartea 9300

Editat de Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte
en Limba Engleză Paperback – 27 aug 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).
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 33675 lei

Preț vechi: 42093 lei
-20%

Puncte Express: 505

Carte tipărită la comandă

Livrare economică 21 septembrie-05 octombrie

Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 40000 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783319235332
ISBN-10: 3319235338
Pagini: 332
Ilustrații: X, 319 p. 15 illus.
Dimensiuni: 155 x 235 x 19 mm
Greutate: 0.51 kg
Ediția:1st edition 2015
Editura: Springer
Colecția Lecture Notes in Computer Science
Seria Lecture Notes in Computer Science

Locul publicării:Cham, Switzerland

Public țintă

Research

Textul de pe ultima copertă

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

Caracteristici

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