Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

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

Free delivery for purchases over 19 990 Ft

DPD point 1 170 Ft DPD courier 1 370 Ft GLS point 1 370 Ft Hungarian Post 1 975 Ft Hungarian Post 1 870 Ft Hungarian Post 1 870 Ft FoxPost 1 370 Ft Packeta point 1 370 Ft GLS courier 1 870 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Logic and Program Semantics

Name: Logic and Program Semantics
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 05281444
Price: 23376 HUF
Availability: InStock
Author: Robert L. Constable
ISBN: 9783642294846

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

Robert L. Constable

Alexandra Silva

Language

English

Book Paperback

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

Libristo code: 05281444

156 b

23 376 Ft

In stock at our supplier Shipping in 9-13 days

Up to 30 days for returns

Customers also purchased

Die Organisation Des Kommunalen Verwaltungsbetriebs Falko Schuster

Paperback

18 625 Ft

Das kleine Buch der großen Parfums Tania Sanchez

Hardback

5 063 Ft

Дерзкий репетитор по русскому языку. Для тех, кто хочет говорить и писать правильно

Paperback

11 045 Ft

Des Devoirs. 3e Edition Cicéron

Paperback

10 876 Ft

Le Minorquin de la Beauce Cardona

Paperback

9 486 Ft

Význam v kontexte Marián Zouhar

Paperback

4 388 Ft

Adieu à l'Europe Nizon

Hardback

7 193 Ft

LOS SIETE RELATOS CAPITALES y su fiesta de guardar Hernández Rey

Paperback

7 550 Ft

Dit is Berlin. Das Wimmelbuch Laura Breiling

Hardback

8 960 Ft

Il Tuo Oroscopo Personale Completo Dello Scorpione 2025 Iris Quinn

Paperback

5 272 Ft

BASILUR Mini Treats Gift of Love plech 40g Stationery items

Stationery items

839 Ft

VAMPIRE KNIGHT Pearls 4 Antje Bockel

Paperback

3 971 Ft

Tympeät tytöt - Aikuistumisriittejä Riina Tanskanen

Hardback

21 038 Ft

EL FASCISMO EN GALICIA. DE LOS ORIGENES AL DECRETO DE UNIFICACION PRADA RODRIGUEZ

Book

15 627 Ft

Geschichte des teutschen Volkes Heinrich Luden

Paperback

27 853 Ft

Umgang mit dem geistigen Eigentum des Unternehmers. Unter besonderer Ber cksichtigung des Aspektes der Produktpiraterie Bjorn Wiels

Paperback

11 149 Ft

Ernährung des Hundes - Fakten und Mythen Katrin Rohde

Paperback

4 989 Ft

Einflussgroesse und Konsequenzen der Unternehmensfairness Diana Nöcke

Paperback

26 568 Ft

Porristas en Accion Bobbie Kalman

Paperback

3 882 Ft

Moeglichkeiten des Einsatzes und daraus resultierende Nutzeffekte von elektronischen Konferenzen Jörg Mecke

Paperback

13 472 Ft

25 Etüden Friedrich Burgmüller

Paperback

4 512 Ft

Hochbegabt oder hochsensibel Manon Garcia

Paperback

6 006 Ft

Adolescents.cat-2 CODINA

Paperback

7 089 Ft

La trascendencia de ego Jean-Paul Sartre

Paperback

7 734 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.