Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis

Envío gratuito con Zásilkovna para compras superiores a 59.99 €

Mensajería SEUR 5.49 € Mensajería GLS 8.49 € Mensajería Correos 5.99 € Mensajería DHL 5.99 € Punto SEUR 4.49 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

Logic and Program Semantics

Name: Logic and Program Semantics
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 05281444
Price: 62.19 EUR
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

Idioma

Inglés

Libro Tapa blanda

Código Libristo: 05281444

Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, abril 2012

This Festschrift volume is published in honor of Dexter Kozen on the occasion of his 60th birthday.... Descripción completa

Código Libristo: 05281444

152 b

62.19 €

Almacenamiento externo Envío en 9-13 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Die Organisation Des Kommunalen Verwaltungsbetriebs Falko Schuster

Tapa blanda

51.89 €

Das kleine Buch der großen Parfums Tania Sanchez

Tapa dura

14.09 €

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

Tapa blanda

33.49 €

Des Devoirs. 3e Edition Cicéron

Tapa blanda

28.89 €

Le Minorquin de la Beauce Cardona

Tapa blanda

24.99 €

Význam v kontexte Marián Zouhar

Tapa blanda

12.79 €

Adieu à l'Europe Nizon

Tapa dura

19.89 €

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

Tapa blanda

20.19 €

Dit is Berlin. Das Wimmelbuch Laura Breiling

Tapa dura

24.99 €

Il Tuo Oroscopo Personale Completo Dello Scorpione 2025 Iris Quinn

Tapa blanda

13.99 €

BASILUR Mini Treats Gift of Love plech 40g Artículos de papelería

Artículos de papelería

2.29 €

VAMPIRE KNIGHT Pearls 4 Antje Bockel

Tapa blanda

11.09 €

Tympeät tytöt - Aikuistumisriittejä Riina Tanskanen

Tapa dura

63.89 €

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

Libro

41.69 €

Geschichte des teutschen Volkes Heinrich Luden

Tapa blanda

77.59 €

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

Tapa blanda

29.59 €

Ernährung des Hundes - Fakten und Mythen Katrin Rohde

Tapa blanda

13.89 €

Einflussgroesse und Konsequenzen der Unternehmensfairness Diana Nöcke

Tapa blanda

73.89 €

Porristas en Accion Bobbie Kalman

Tapa blanda

11.19 €

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

Tapa blanda

37.59 €

25 Etüden Friedrich Burgmüller

Tapa blanda

12.49 €

Hochbegabt oder hochsensibel Manon Garcia

Tapa blanda

16.79 €

Adolescents.cat-2 CODINA

Tapa blanda

19.69 €

La trascendencia de ego Jean-Paul Sartre

Tapa blanda

20.49 €

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.