Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday - Couverture souple

9783319235332: Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

Couverture souple

ISBN 10 : 3319235338 ISBN 13 : 9783319235332

Editeur : Springer, 2015

Afficher les exemplaires de cette �dition comportant l?ISBN

2 D'occasion

De EUR 60,95

12 Neuf

De EUR 48,37

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

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteur: Springer
Date d'�dition: 2015
Langue: anglais
ISBN 10: 3319235338
ISBN 13: 9783319235332
Reliure: Broch�
Num�ro d'�dition: 1
Nombre de pages: 332
�diteur: Beklemishev Lev D., Blass Andreas, Dershowitz Nachum, Finkbeiner Bernd, Schulte Wolfram
Coordonn�es du fabricant: non disponible
Personne responsable: CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Acheter D'occasion

�tat : Comme neuf

Unread book in perfect condition...

Afficher cet article

EUR 60,95

Autre devise

EUR 17,07 exp�dition depuis Etats-Unis vers France

Destinations, frais et d�lais

Ajouter au panier

Acheter neuf

Afficher cet article

EUR 48,37

Autre devise

EUR 9,70 exp�dition depuis Allemagne vers France

Destinations, frais et d�lais

Ajouter au panier

R�sultats de recherche pour Fields of Logic and Computation II: Essays Dedicated...

Image fournie par le vendeur

Fields of Logic and Computation II

Beklemishev, Lev D.|Blass, Andreas|Dershowitz, Nachum|Finkbeiner, Bernd|Schulte, Wolfram

Edit� par Springer International Publishing, 2015

ISBN 10 : 3319235338 ISBN 13 : 9783319235332

Neuf Kartoniert / Broschiert

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Kartoniert / Broschiert. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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.Cover. N� de r�f. du vendeur 43799437

Contacter le vendeur

Acheter neuf

EUR 48,37

Autre devise

Frais de port : EUR 9,70

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday (Programming and Software Engineering)

Edit� par Springer, 2015

ISBN 10 : 3319235338 ISBN 13 : 9783319235332

Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : New. In. N� de r�f. du vendeur ria9783319235332_new

Contacter le vendeur

Acheter neuf

EUR 58,29

Autre devise

Frais de port : EUR 4,60

De Royaume-Uni vers France

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Fields of Logic and Computation II : Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

Lev D. Beklemishev

Edit� par Springer International Publishing, Springer International Publishing, 2015

ISBN 10 : 3319235338 ISBN 13 : 9783319235332

Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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). N� de r�f. du vendeur 9783319235332

Contacter le vendeur

Acheter neuf

EUR 53,49

Autre devise

Frais de port : EUR 10,99

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Fields of Logic and Computation II

Lev D. Beklemishev

Edit� par Springer International Publishing Aug 2015, 2015

ISBN 10 : 3319235338 ISBN 13 : 9783319235332

Neuf Taschenbuch

impression � la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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). 332 pp. Englisch. N� de r�f. du vendeur 9783319235332

Contacter le vendeur

Acheter neuf

EUR 53,49

Autre devise

Frais de port : EUR 11

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday (Lecture Notes in Computer Science)

Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte

Edit� par Springer 2015-08-27, 2015

ISBN 10 : 3319235338 ISBN 13 : 9783319235332

Neuf Paperback

Vendeur : Chiron Media, Wallingford, Royaume-Uni

�valuation du vendeur 4 sur 5 �toiles

Paperback. Etat : New. N� de r�f. du vendeur 6666-IUK-9783319235332

Contacter le vendeur

Acheter neuf

EUR 56,72

Autre devise

Frais de port : EUR 10,93

De Royaume-Uni vers France

Destinations, frais et d�lais

Quantit� disponible : 10 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Fields of Logic and Computation II

Lev D. Beklemishev

Edit� par Springer International Publishing, Springer International Publishing Aug 2015, 2015

ISBN 10 : 3319235338 ISBN 13 : 9783319235332

Neuf Taschenbuch

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Neuware -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 the24th EACSL Annual Conference on Computer Science Logic (CSL 2015).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 332 pp. Englisch. N� de r�f. du vendeur 9783319235332

Contacter le vendeur