Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 69.99 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

Logic and Program Semantics

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

Language EnglishEnglish
Book Paperback
Book Logic and Program Semantics Robert L. Constable
Libristo code: 05281444
Publishers 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.... Full description
? points 148 b
61.22 €
119.73  лв
Low in stock at our supplier Shipping in 13-18 days

Up to 30 days for returns

Customers also purchased

Die Organisation Des Kommunalen Verwaltungsbetriebs Falko Schuster / Book Paperback
common.buy 49.93 € 97.65 лв
Il Tuo Oroscopo Personale Completo Dello Scorpione 2025 Iris Quinn / Book Paperback
common.buy 13.15 € 25.72 лв
Des Devoirs. 3e Edition Cicéron / Book Paperback
common.buy 27.29 € 53.38 лв
Adieu à l'Europe Nizon / Book Hardback
common.buy 21.54 € 42.13 лв
Význam v kontexte Marián Zouhar / Book Paperback
common.buy 12.84 € 25.11 лв
Dit is Berlin. Das Wimmelbuch Laura Breiling / Book Hardback
common.buy 23.92 € 46.79 лв
Affordable
BASILUR Mini Treats Gift of Love plech 40g Stationery items Stationery items
common.buy 3.83 € 7.49 лв
VAMPIRE KNIGHT Pearls 4 Antje Bockel / Book Paperback
common.buy 10.61 € 20.76 лв
Дерзкий репетитор по русскому языку. Для тех, кто хочет говорить и писать правильно / Book Paperback
common.buy 32.21 € 63.00 лв
Coming soon
Das kleine Buch der großen Parfums Tania Sanchez / Book Hardback
common.buy 13.51 € 26.43 лв
Tympeät tytöt - Aikuistumisriittejä Riina Tanskanen / Book Hardback
common.buy 61.43 € 120.14 лв
EL FASCISMO EN GALICIA. DE LOS ORIGENES AL DECRETO DE UNIFICACION PRADA RODRIGUEZ / Book Book
common.buy 45.01 € 88.02 лв
La trascendencia de ego Jean-Paul Sartre / Book Paperback
common.buy 22.53 € 44.06 лв
Umgang mit dem geistigen Eigentum des Unternehmers. Unter besonderer Ber cksichtigung des Aspektes der Produktpiraterie Bjorn Wiels / Book Paperback
common.buy 27.86 € 54.49 лв
Ernährung des Hundes - Fakten und Mythen Katrin Rohde / Book Paperback
common.buy 13.31 € 26.02 лв
Einflussgroesse und Konsequenzen der Unternehmensfairness Diana Nöcke / Book Paperback
common.buy 71.21 € 139.28 лв
Porristas en Accion Bobbie Kalman / Book Paperback
common.buy 10.20 € 19.95 лв
Moeglichkeiten des Einsatzes und daraus resultierende Nutzeffekte von elektronischen Konferenzen Jörg Mecke / Book Paperback
common.buy 35.99 € 70.40 лв
25 Etüden Friedrich Burgmüller / Book Paperback
common.buy 12.06 € 23.59 лв
Hochbegabt oder hochsensibel Manon Garcia / Book Paperback
common.buy 16.05 € 31.39 лв
Cosmopolite 1. Arbeitsbuch mit Code und Beiheft Tony Tricot / Book binding.
common.buy 21.59 € 42.23 лв
Geschichte des teutschen Volkes Heinrich Luden / Book Paperback
common.buy 74.48 € 145.67 лв
Margaga Martin Cortez / Book Paperback
common.buy 23.61 € 46.18 лв
Kompendium der Augenheilkunde Max Tetzer / Book Paperback
common.buy 33.09 € 64.72 лв

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Logic and Program Semantics
Author Robert L. Constable, Alexandra Silva
Language English
Binding Book - Paperback
Date of issue 2012
Number of pages 357
EAN 9783642294846
ISBN 3642294847
Libristo code 05281444
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 529
Dimensions 155 x 235 x 28

Categories

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Chemistry And Technology Wines And Liquors Karl M. Herstein / Book Hardback
common.buy 36.41 € 71.21 лв
South Beach Gabriele Schuetz / Book Hardback
common.buy 21.13 € 41.32 лв
Record of the 4th Royal Irish Dragoon Guards in the Great War, 1914-1918 Harold Gibb / Book Paperback
common.buy 21.33 € 41.73 лв
Fall Steven Saxonberg / Book Hardback
common.buy 252.04 € 492.94 лв
Community-Based Organizations in Mexico David Arellano-Gault / Book Paperback
common.buy 83.96 € 164.20 лв
Acceptance A T Weaver / Book Paperback
common.buy 19.31 € 37.78 лв
How Do I Get There from Here? Bridges / Book Paperback
common.buy 19.37 € 37.88 лв
Ethics of Interdependence William F. Felice / Book Paperback
common.buy 44.13 € 86.30 лв
The Always War Margaret Peterson Haddix / Book Paperback
common.buy 12.22 € 23.90 лв
Salton Sea Resort Kevin Blake / Book Hardback
common.buy 37.13 € 72.63 лв
Handbook of Iron Metabolism Lisa Jordan / Book Hardback
common.buy 78.26 € 153.06 лв
Septonian Castaway ALBORICAH RATHUP / Book Paperback
common.buy 19.31 € 37.78 лв
Policy Analysis in Brazil Lenaura Lobato / Book Hardback
common.buy 151.50 € 296.31 лв
Introduction To Psychology George Sidney Brett / Book Paperback
common.buy 8.54 € 16.71 лв
Raspbian OS Programming with the Raspberry Pi Agus Kurniawan / Book Paperback
common.buy 23.15 € 45.27 лв
My Life with Trains Jim Mcclellan / Book Paperback
common.buy 31.38 € 61.38 лв
Twelve Rules for Eternal Life: Preparing for the Second Coming of Jesus Christ, the Holy Messiah Richard W Linford / Book Paperback
common.buy 7.66 € 14.98 лв
Trilogy MERIH GUNAY / Book Hardback
common.buy 34.91 € 68.27 лв
Narrative Economics Robert J. Shiller / Book Hardback
common.buy 46.87 € 91.67 лв
Decline of the West; Volume 2 Oswald Spengler / Book Hardback
common.buy 48.42 € 94.71 лв
Cradle of Fire Gail Daley / Book Paperback
common.buy 18.85 € 36.86 лв
Best Feng Shui Alignment Paul Yan / Book Paperback
common.buy 17.14 € 33.52 лв
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 / Book Paperback
common.buy 14.91 € 29.17 лв
Parables For Preachers Barbara E. Reid / Book Paperback
common.buy 21.18 € 41.42 лв

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?