Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Logic and Program Semantics

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Logic and Program Semantics Robert L. Constable
Libristo-code: 05281444
Uitgeverij 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.... Volledige beschrijving
? points 141 b
58.51 €
In extern magazijn in kleine hoeveelheid Wordt binnen 11-15 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Des Devoirs. 3e Edition Cicéron / Boek Gebonden (paperback)
common.buy 27.22 €
Ernährung des Hundes - Fakten und Mythen Katrin Rohde / Boek Gebonden (paperback)
common.buy 12.64 €
Blutige Maiglöckchen zum Hochzeitstag Manfred Eisner / Boek Gebonden (paperback)
common.buy 22.77 €
Дерзкий репетитор по русскому языку. Для тех, кто хочет говорить и писать правильно / Boek Gebonden (paperback)
common.buy 30.46 €
Das kleine Buch der großen Parfums Tania Sanchez / Boek Gebonden (harde band)
common.buy 12.75 €
EL FASCISMO EN GALICIA. DE LOS ORIGENES AL DECRETO DE UNIFICACION PRADA RODRIGUEZ / Boek Boek
common.buy 43.42 €
Dit is Berlin. Das Wimmelbuch Laura Breiling / Boek Gebonden (harde band)
common.buy 22.57 €
Il Tuo Oroscopo Personale Completo Dello Scorpione 2025 Iris Quinn / Boek Gebonden (paperback)
common.buy 13.15 €
Einflussgroesse und Konsequenzen der Unternehmensfairness Diana Nöcke / Boek Gebonden (paperback)
common.buy 67.52 €
Anteckningar Rorande Finska Armeens Och Finlands Krigshistoria, Part 1 (1870) Julius Mankell / Boek Gebonden (paperback)
common.buy 43.02 €
Münzhüllen OPTIMA 34 Leuchtturm Albenverlag / Boek binding.
common.buy 9.00 €
Porristas en Accion Bobbie Kalman / Boek Gebonden (paperback)
common.buy 9.71 €
Kompendium der Augenheilkunde Max Tetzer / Boek Gebonden (paperback)
common.buy 31.27 €
Margaga Martin Cortez / Boek Gebonden (paperback)
common.buy 24.19 €
Geschichte des teutschen Volkes Heinrich Luden / Boek Gebonden (paperback)
common.buy 70.35 €
La trascendencia de ego Jean-Paul Sartre / Boek Gebonden (paperback)
common.buy 21.66 €
Moeglichkeiten des Einsatzes und daraus resultierende Nutzeffekte von elektronischen Konferenzen Jörg Mecke / Boek Gebonden (paperback)
common.buy 34.01 €
25 Etüden Friedrich Burgmüller / Boek Gebonden (paperback)
common.buy 17.40 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Logic and Program Semantics
Auteur Robert L. Constable, Alexandra Silva
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2012
Aantal pagina's 357
EAN 9783642294846
ISBN 3642294847
Libristo-code 05281444
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 529
Afmetingen 155 x 235 x 28

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Algoritmes en datastructuren
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Raspbian OS Programming with the Raspberry Pi Agus Kurniawan / Boek Gebonden (paperback)
common.buy 23.17 €
South Beach Gabriele Schuetz / Boek Gebonden (harde band)
common.buy 19.83 €
Record of the 4th Royal Irish Dragoon Guards in the Great War, 1914-1918 Harold Gibb / Boek Gebonden (paperback)
common.buy 21.25 €
Fall Steven Saxonberg / Boek Gebonden (harde band)
common.buy 216.24 €
Community-Based Organizations in Mexico David Arellano-Gault / Boek Gebonden (paperback)
common.buy 79.97 €
Acceptance A T Weaver / Boek Gebonden (paperback)
common.buy 19.33 €
Ethics of Interdependence William F. Felice / Boek Gebonden (paperback)
common.buy 47.98 €
The Always War Margaret Peterson Haddix / Boek Gebonden (paperback)
common.buy 9.71 €
Handbook of Iron Metabolism Lisa Jordan / Boek Gebonden (harde band)
common.buy 78.25 €
Septonian Castaway ALBORICAH RATHUP / Boek Gebonden (paperback)
common.buy 19.33 €
Introduction To Psychology George Sidney Brett / Boek Gebonden (paperback)
common.buy 8.60 €
Food-Borne Microbes Hua H. Wang / Boek Gebonden (harde band)
common.buy 169.67 €
My Life with Trains Jim Mcclellan / Boek Gebonden (paperback)
common.buy 30.16 €
Narrative Economics Robert J. Shiller / Boek Gebonden (harde band)
common.buy 46.86 €
Decline of the West; Volume 2 Oswald Spengler / Boek Gebonden (harde band)
common.buy 45.85 €
Best Feng Shui Alignment Paul Yan / Boek Gebonden (paperback)
common.buy 17.10 €
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 / Boek Gebonden (paperback)
common.buy 14.87 €
Chemistry And Technology Wines And Liquors Karl M. Herstein / Boek Gebonden (harde band)
common.buy 36.44 €
Just One Bite Meghan Neri / Boek Gebonden (paperback)
common.buy 20.34 €
Grandmother, I Want to Learn Your Recipes: A Keepsake Memory Book to Gather and Preserve Your Favorite Family Recipes Hear Your Story / Boek Gebonden (paperback)
common.buy 13.56 €
Tolerance and Intolerance in Religion and Beyond Giuseppe Veltri / Boek Gebonden (paperback)
common.buy 61.75 €
Japanese Exports and Foreign Direct Investment Hideki Yamawaki / Boek Gebonden (paperback)
common.buy 43.12 €
Acoustic Communication in Insects and Anurans H.Carl Gerhardt / Boek Gebonden (harde band)
common.buy 200.65 €
Thicker than Water G. M. Ford / Boek Gebonden (paperback)
common.buy 13.96 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?