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 €
DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € ACS-Stelle 4.99 € Box Now 3.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 141 b
58.35 €
Externes Lager in kleiner Menge Wir versenden in 13-18 Tagen
Griechenland Lieferung in Griechenland

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Des Devoirs. 3e Edition Cicéron / Buch Broschur
common.buy 28.46 €
Il Tuo Oroscopo Personale Completo Dello Scorpione 2025 Iris Quinn / Buch Broschur
common.buy 13.72 €
Ernährung des Hundes - Fakten und Mythen Katrin Rohde / Buch Broschur
common.buy 12.61 €
Das kleine Buch der großen Parfums Tania Sanchez / Buch Hardcover
common.buy 12.71 €
Demnächst
Dit is Berlin. Das Wimmelbuch Laura Breiling / Buch Hardcover
common.buy 22.51 €
Einflussgroesse und Konsequenzen der Unternehmensfairness Diana Nöcke / Buch Broschur
common.buy 67.34 €
Anteckningar Rorande Finska Armeens Och Finlands Krigshistoria, Part 1 (1870) Julius Mankell / Buch Broschur
common.buy 36.64 €
Münzhüllen OPTIMA 34 Leuchtturm Albenverlag / Buch binding.
common.buy 8.98 €
Kompendium der Augenheilkunde Max Tetzer / Buch Broschur
common.buy 31.19 €
Porristas en Accion Bobbie Kalman / Buch Broschur
common.buy 9.68 €
Margaga Martin Cortez / Buch Broschur
common.buy 25.33 €
Geschichte des teutschen Volkes Heinrich Luden / Buch Broschur
common.buy 70.16 €
La trascendencia de ego Jean-Paul Sartre / Buch Broschur
common.buy 21.60 €
Moeglichkeiten des Einsatzes und daraus resultierende Nutzeffekte von elektronischen Konferenzen Jörg Mecke / Buch Broschur
common.buy 33.92 €
Top
25 Etüden Friedrich Burgmüller / Buch Broschur
common.buy 11.30 €

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

Introduction To Psychology George Sidney Brett / Buch Broschur
common.buy 8.98 €
Thicker than Water G. M. Ford / Buch Broschur
common.buy 13.92 €
South Beach Gabriele Schuetz / Buch Hardcover
common.buy 19.78 €
Record of the 4th Royal Irish Dragoon Guards in the Great War, 1914-1918 Harold Gibb / Buch Broschur
common.buy 22.30 €
Fall Steven Saxonberg / Buch Hardcover
common.buy 215.66 €
Community-Based Organizations in Mexico David Arellano-Gault / Buch Broschur
common.buy 79.76 €
Acceptance A T Weaver / Buch Broschur
common.buy 20.28 €
Ethics of Interdependence William F. Felice / Buch Broschur
common.buy 49.77 €
The Always War Margaret Peterson Haddix / Buch Broschur
common.buy 9.68 €
Handbook of Iron Metabolism Lisa Jordan / Buch Hardcover
common.buy 82.18 €
Septonian Castaway ALBORICAH RATHUP / Buch Broschur
common.buy 20.28 €
Food-Borne Microbes Hua H. Wang / Buch Hardcover
common.buy 169.21 €
Raspbian OS Programming with the Raspberry Pi Agus Kurniawan / Buch Broschur
common.buy 24.53 €
Narrative Economics Robert J. Shiller / Buch Hardcover
common.buy 48.66 €
Decline of the West; Volume 2 Oswald Spengler / Buch Hardcover
common.buy 45.73 €
Best Feng Shui Alignment Paul Yan / Buch Broschur
common.buy 17.96 €
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.74 €
Chemistry And Technology Wines And Liquors Karl M. Herstein / Buch Hardcover
common.buy 38.06 €
Just One Bite Meghan Neri / Buch Broschur
common.buy 21.19 €
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.43 €
Tolerance and Intolerance in Religion and Beyond Giuseppe Veltri / Buch Broschur
common.buy 64.31 €
Parables For Preachers Barbara E. Reid / Buch Broschur
common.buy 22.30 €
Acoustic Communication in Insects and Anurans H.Carl Gerhardt / Buch Hardcover
common.buy 208.29 €
Gideon Lincecum, 1793-1874 Lois Wood Burkhalter / Buch Broschur
common.buy 42.80 €

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?