[email protected]
LIBRISTO 0
DHL Abholort 4.69 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € GLS-Kurierdienst 3.99 €
phone Kontakt phoneWie einkaufen

Fields of Logic and Computation II

Sprache EnglischEnglisch
Buch Broschur
Buch Fields of Logic and Computation II Lev D. Beklemishev
Libristo-Code: 09493598
Verlag Springer International Publishing AG, August 2015
This Festschrift is published in honor of Yuri Gurevich's 75th birthday. Yuri Gurevich has made fund... Vollständige Beschreibung
? points 177 b
70.52 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 13-16 Tagen

30 Tage für die Rückgabe der Ware

Das könnte Sie auch interessieren

Optimization Kenneth Lange / Broschur
common.buy 164.15 €
Pome Harrison S Mungal / Broschur
common.buy 16.34 €
Derecho y multiculturalismo Gajardo Falcon Jaime / Broschur
common.buy 53.06 €
Les veritables oeuvres de Monsieur de Saint-Evremond. Publiées sur les manuscris de l'auteur. Seconde edition, rev?ë & corrigée. of 5; Volume 2 Saint-Evremond / Broschur
common.buy 31.87 €
Evolutionary Love and the Ravages of Greed ADAM CRABTREE / Hardcover
common.buy 52.86 €

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 25th Annual Conference on Computer Science Logic (CSL 2015).

Informationen zum Buch

Vollständiger Name Fields of Logic and Computation II
Autor Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2015
Anzahl der Seiten 319
EAN 9783319235332
ISBN 3319235338
Libristo-Code 09493598
Verlag Springer International Publishing AG
Gewicht 5037
Abmessungen 155 x 235 x 16

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Objektorientierte Programmierung (OOP)
EDV und Informationstechnologie > Informatik > Theoretische Informatik
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto