Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen

Logic and Program Semantics

Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday

Sprache EnglischEnglisch
Buch Broschur
Buch Logic and Program Semantics Robert L. Constable
Libristo-Code: 05281444
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, April 2012
This Festschrift volume is published in honor of Dexter Kozen on the occasion of his 60th birthday.... Vollständige Beschreibung
? points 148 b
60.39 € inkl. MwSt.
Externes Lager in kleiner Menge Wir versenden in 13-18 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

EL FASCISMO EN GALICIA. DE LOS ORIGENES AL DECRETO DE UNIFICACION PRADA RODRIGUEZ / Buch Buch
common.buy 39.49 €
Demnächst
Das kleine Buch der großen Parfums Tania Sanchez / Buch Hardcover
common.buy 14.90 €
Дерзкий репетитор по русскому языку. Для тех, кто хочет говорить и писать правильно / Buch Broschur
common.buy 31.79 €
Tympeät tytöt - Aikuistumisriittejä Riina Tanskanen / Buch Hardcover
common.buy 60.59 €
Dit is Berlin. Das Wimmelbuch Laura Breiling / Buch Hardcover
common.buy 26.00 €
Ernährung des Hundes - Fakten und Mythen Katrin Rohde / Buch Broschur
common.buy 13.90 €
Il Tuo Oroscopo Personale Completo Dello Scorpione 2025 Iris Quinn / Buch Broschur
common.buy 13.59 €
Des Devoirs. 3e Edition Cicéron / Buch Broschur
common.buy 28.19 €
Einflussgroesse und Konsequenzen der Unternehmensfairness Diana Nöcke / Buch Broschur
common.buy 70.29 €
Anteckningar Rorande Finska Armeens Och Finlands Krigshistoria, Part 1 (1870) Julius Mankell / Buch Broschur
common.buy 44.59 €
Münzhüllen OPTIMA 34 Leuchtturm Albenverlag / Buch binding.
common.buy 9.99 €
Blutige Maiglöckchen zum Hochzeitstag Manfred Eisner / Buch Broschur
common.buy 23.69 €
Porristas en Accion Bobbie Kalman / Buch Broschur
common.buy 10.09 €
Kompendium der Augenheilkunde Max Tetzer / Buch Broschur
common.buy 34.90 €
Margaga Martin Cortez / Buch Broschur
common.buy 25.09 €
Geschichte des teutschen Volkes Heinrich Luden / Buch Broschur
common.buy 78.90 €
La trascendencia de ego Jean-Paul Sartre / Buch Broschur
common.buy 19.29 €
Moeglichkeiten des Einsatzes und daraus resultierende Nutzeffekte von elektronischen Konferenzen Jörg Mecke / Buch Broschur
common.buy 38.00 €
25 Etüden Friedrich Burgmüller / Buch Broschur
common.buy 12.50 €

This Festschrift volume is published in honor of Dexter Kozen on the occasion of his 60th birthday. Dexter Kozen has been a leader in the development of Kleene Algebras (KAs). The contributions in this volume reflect the breadth of his work and influence. §The volume includes 19 full papers related to Dexter Kozen's research. They deal with coalgebraic methods, congruence closure; the completeness of various programming logics; decision procedure for logics; alternation; algorithms and complexity; and programming languages and program analysis. §The second part of this volume includes laudatios from several collaborators, students and friends, including the members of his current band. This Festschrift volume is published in honor of Dexter Kozen on the occasion of his 60th birthday. Dexter Kozen has been a leader in the development of Kleene Algebras (KAs) and the contributions in this volume reflect the breadth of his work and influence. §The volume includes 19 full papers related to Dexter Kozen's research. They deal with coalgebraic methods; congruence closure; the completeness of various programming logics; decision procedures for logics; alternation; algorithms and complexity; and programming languages and program analysis. §The second part of this volume includes laudatios from several collaborators, students and friends, including the members of his current band.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Logic and Program Semantics
Autor Robert L. Constable, Alexandra Silva
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 2012
Anzahl der Seiten 357
EAN 9783642294846
ISBN 3642294847
Libristo-Code 05281444
Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 529
Abmessungen 155 x 235 x 28

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
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

Das könnte Sie auch interessieren

Raspbian OS Programming with the Raspberry Pi Agus Kurniawan / Buch Broschur
common.buy 24.29 €
South Beach Gabriele Schuetz / Buch Hardcover
common.buy 20.79 €
Record of the 4th Royal Irish Dragoon Guards in the Great War, 1914-1918 Harold Gibb / Buch Broschur
common.buy 22.09 €
Fall Steven Saxonberg / Buch Hardcover
common.buy 224.29 €
Community-Based Organizations in Mexico David Arellano-Gault / Buch Broschur
common.buy 83.09 €
Acceptance A T Weaver / Buch Broschur
common.buy 20.09 €
Ethics of Interdependence William F. Felice / Buch Broschur
common.buy 45.49 €
The Always War Margaret Peterson Haddix / Buch Broschur
common.buy 12.09 €
Handbook of Iron Metabolism Lisa Jordan / Buch Hardcover
common.buy 81.39 €
Septonian Castaway ALBORICAH RATHUP / Buch Broschur
common.buy 20.09 €
Introduction To Psychology George Sidney Brett / Buch Broschur
common.buy 8.89 €
Food-Borne Microbes Hua H. Wang / Buch Hardcover
common.buy 176.39 €
My Life with Trains Jim Mcclellan / Buch Broschur
common.buy 31.09 €
Narrative Economics Robert J. Shiller / Buch Hardcover
common.buy 48.19 €
Decline of the West; Volume 2 Oswald Spengler / Buch Hardcover
common.buy 47.79 €
Best Feng Shui Alignment Paul Yan / Buch Broschur
common.buy 17.79 €
Proceedings of the New York State Historical Association: ... Annual Meeting with Constitution and By-Laws and List of Members, Volume 2 New York State Historical Association / Buch Broschur
common.buy 15.59 €
Chemistry And Technology Wines And Liquors Karl M. Herstein / Buch Hardcover
common.buy 37.69 €
Just One Bite Meghan Neri / Buch Broschur
common.buy 20.99 €
Grandmother, I Want to Learn Your Recipes: A Keepsake Memory Book to Gather and Preserve Your Favorite Family Recipes Hear Your Story / Buch Broschur
common.buy 14.29 €
Tolerance and Intolerance in Religion and Beyond Giuseppe Veltri / Buch Broschur
common.buy 63.69 €
Thicker than Water G. M. Ford / Buch Broschur
common.buy 14.49 €
How to Do Everything with Dreamweaver Michael Meadhra / Buch Broschur
common.buy 31.29 €
Morality and the Emotions Carla Bagnoli / Buch Broschur
common.buy 46.19 €

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
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?