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 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 152 b
22 856 Ft
In stock at our supplier Shipping in 14-21 days

Up to 30 days for returns

Customers also purchased

Die Organisation Des Kommunalen Verwaltungsbetriebs Falko Schuster / Book Paperback
common.buy 18 705 Ft
EL FASCISMO EN GALICIA. DE LOS ORIGENES AL DECRETO DE UNIFICACION PRADA RODRIGUEZ / Book Book
common.buy 15 801 Ft
Ernährung des Hundes - Fakten und Mythen Katrin Rohde / Book Paperback
common.buy 5 011 Ft
VAMPIRE KNIGHT Pearls 4 Antje Bockel / Book Paperback
common.buy 3 986 Ft
Дерзкий репетитор по русскому языку. Для тех, кто хочет говорить и писать правильно / Book Paperback
common.buy 11 089 Ft
Coming soon
Das kleine Buch der großen Parfums Tania Sanchez / Book Hardback
common.buy 5 087 Ft
Cosmopolite 1. Arbeitsbuch mit Code und Beiheft Tony Tricot / Book binding.
common.buy 7 554 Ft
Umgang mit dem geistigen Eigentum des Unternehmers. Unter besonderer Ber cksichtigung des Aspektes der Produktpiraterie Bjorn Wiels / Book Paperback
common.buy 10 909 Ft
Význam v kontexte Marián Zouhar / Book Paperback
common.buy 4 437 Ft
Tympeät tytöt - Aikuistumisriittejä Riina Tanskanen / Book Hardback
common.buy 21 125 Ft
Affordable
BASILUR Mini Treats Gift of Love plech 40g Stationery items Stationery items
common.buy 1 400 Ft
Dit is Berlin. Das Wimmelbuch Laura Breiling / Book Hardback
common.buy 8 996 Ft
Il Tuo Oroscopo Personale Completo Dello Scorpione 2025 Iris Quinn / Book Paperback
common.buy 5 163 Ft
Adieu à l'Europe Nizon / Book Hardback
common.buy 7 540 Ft
Des Devoirs. 3e Edition Cicéron / Book Paperback
common.buy 10 652 Ft
Einflussgroesse und Konsequenzen der Unternehmensfairness Diana Nöcke / Book Paperback
common.buy 26 690 Ft
Anteckningar Rorande Finska Armeens Och Finlands Krigshistoria, Part 1 (1870) Julius Mankell / Book Paperback
common.buy 16 868 Ft
25 Etüden Friedrich Burgmüller / Book Paperback
common.buy 4 527 Ft
Bilinmeyen Bir Kadinin Mektubu ve Üc Öykü Daha Mini Kitap Stefan Zweig / Book Paperback
common.buy 5 205 Ft
Münzhüllen OPTIMA 34 Leuchtturm Albenverlag / Book binding.
common.buy 3 611 Ft
Moeglichkeiten des Einsatzes und daraus resultierende Nutzeffekte von elektronischen Konferenzen Jörg Mecke / Book Paperback
common.buy 13 528 Ft
Blutige Maiglöckchen zum Hochzeitstag Manfred Eisner / Book Paperback
common.buy 8 261 Ft
Hochbegabt oder hochsensibel Manon Garcia / Book Paperback
common.buy 6 036 Ft
Seguridad e higiene en la manipulación de alimentos José Luis Armendáriz Sanz / Book Paperback
common.buy 10 458 Ft

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

Raspbian OS Programming with the Raspberry Pi Agus Kurniawan / Book Paperback
common.buy 9 267 Ft
Record of the 4th Royal Irish Dragoon Guards in the Great War, 1914-1918 Harold Gibb / Book Paperback
common.buy 8 351 Ft
Fall Steven Saxonberg / Book Hardback
common.buy 91 620 Ft
Community-Based Organizations in Mexico David Arellano-Gault / Book Paperback
common.buy 29 072 Ft
Acceptance A T Weaver / Book Paperback
common.buy 7 616 Ft
How Do I Get There from Here? Bridges / Book Paperback
common.buy 7 582 Ft
Ethics of Interdependence William F. Felice / Book Paperback
common.buy 17 167 Ft
The Always War Margaret Peterson Haddix / Book Paperback
common.buy 4 588 Ft
Salton Sea Resort Kevin Blake / Book Hardback
common.buy 13 860 Ft
Handbook of Iron Metabolism Lisa Jordan / Book Hardback
common.buy 30 890 Ft
Septonian Castaway ALBORICAH RATHUP / Book Paperback
common.buy 7 616 Ft
Introduction To Psychology George Sidney Brett / Book Paperback
common.buy 3 369 Ft
Policy Analysis in Brazil Lenaura Lobato / Book Hardback
common.buy 55 070 Ft
My Life with Trains Jim Mcclellan / Book Paperback
common.buy 10 833 Ft
Narrative Economics Robert J. Shiller / Book Hardback
common.buy 18 159 Ft
Decline of the West; Volume 2 Oswald Spengler / Book Hardback
common.buy 18 159 Ft
Best Feng Shui Alignment Paul Yan / Book Paperback
common.buy 6 724 Ft
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 5 960 Ft
Cradle of Fire Gail Daley / Book Paperback
common.buy 6 847 Ft
Trilogy MERIH GUNAY / Book Hardback
common.buy 13 964 Ft
Chemistry And Technology Wines And Liquors Karl M. Herstein / Book Hardback
common.buy 14 263 Ft
Just One Bite Meghan Neri / Book Paperback
common.buy 7 962 Ft
Grandmother, I Want to Learn Your Recipes: A Keepsake Memory Book to Gather and Preserve Your Favorite Family Recipes Hear Your Story / Book Paperback
common.buy 5 433 Ft
Tolerance and Intolerance in Religion and Beyond Giuseppe Veltri / Book Paperback
common.buy 25 262 Ft

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