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 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,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 148 b
61.16 €
In extern magazijn in kleine hoeveelheid Wordt binnen 13-18 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Ernährung des Hundes - Fakten und Mythen Katrin Rohde / Boek Gebonden (paperback)
common.buy 12.65 €
Il Tuo Oroscopo Personale Completo Dello Scorpione 2025 Iris Quinn / Boek Gebonden (paperback)
common.buy 13.16 €
Das kleine Buch der großen Parfums Tania Sanchez / Boek Gebonden (harde band)
common.buy 12.75 €
Dit is Berlin. Das Wimmelbuch Laura Breiling / Boek Gebonden (harde band)
common.buy 27.03 €
Des Devoirs. 3e Edition Cicéron / Boek Gebonden (paperback)
common.buy 27.23 €
Einflussgroesse und Konsequenzen der Unternehmensfairness Diana Nöcke / Boek Gebonden (paperback)
common.buy 67.55 €
Münzhüllen OPTIMA 34 Leuchtturm Albenverlag / Boek binding.
common.buy 9.00 €
Kompendium der Augenheilkunde Max Tetzer / Boek Gebonden (paperback)
common.buy 31.29 €
Margaga Martin Cortez / Boek Gebonden (paperback)
common.buy 24.20 €
La trascendencia de ego Jean-Paul Sartre / Boek Gebonden (paperback)
common.buy 21.66 €
Porristas en Accion Bobbie Kalman / Boek Gebonden (paperback)
common.buy 9.71 €
Moeglichkeiten des Einsatzes und daraus resultierende Nutzeffekte von elektronischen Konferenzen Jörg Mecke / Boek Gebonden (paperback)
common.buy 34.02 €
TOP
25 Etüden Friedrich Burgmüller / Boek Gebonden (paperback)
common.buy 11.33 €

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

Septonian Castaway ALBORICAH RATHUP / Boek Gebonden (paperback)
common.buy 19.33 €
Thicker than Water G. M. Ford / Boek Gebonden (paperback)
common.buy 13.97 €
South Beach Gabriele Schuetz / Boek Gebonden (harde band)
common.buy 21.06 €
Record of the 4th Royal Irish Dragoon Guards in the Great War, 1914-1918 Harold Gibb / Boek Gebonden (paperback)
common.buy 21.26 €
Fall Steven Saxonberg / Boek Gebonden (harde band)
common.buy 227.17 €
Community-Based Organizations in Mexico David Arellano-Gault / Boek Gebonden (paperback)
common.buy 84.16 €
Acceptance A T Weaver / Boek Gebonden (paperback)
common.buy 19.33 €
Ethics of Interdependence William F. Felice / Boek Gebonden (paperback)
common.buy 48.00 €
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.28 €
Food-Borne Microbes Hua H. Wang / Boek Gebonden (harde band)
common.buy 168.63 €
Introduction To Psychology George Sidney Brett / Boek Gebonden (paperback)
common.buy 8.60 €
Raspbian OS Programming with the Raspberry Pi Agus Kurniawan / Boek Gebonden (paperback)
common.buy 23.18 €
Narrative Economics Robert J. Shiller / Boek Gebonden (harde band)
common.buy 46.88 €
Best Feng Shui Alignment Paul Yan / Boek Gebonden (paperback)
common.buy 17.11 €
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.88 €
Chemistry And Technology Wines And Liquors Karl M. Herstein / Boek Gebonden (harde band)
common.buy 36.45 €
Just One Bite Meghan Neri / Boek Gebonden (paperback)
common.buy 20.35 €
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.77 €
Parables For Preachers Barbara E. Reid / Boek Gebonden (paperback)
common.buy 21.16 €
Morality and the Emotions Carla Bagnoli / Boek Gebonden (paperback)
common.buy 44.76 €
Acoustic Communication in Insects and Anurans H.Carl Gerhardt / Boek Gebonden (harde band)
common.buy 200.73 €
Gideon Lincecum, 1793-1874 Lois Wood Burkhalter / Boek Gebonden (paperback)
common.buy 41.31 €

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?