Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Logic and Program Semantics

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

Lingua

Inglese

Libro In brossura

Codice Libristo: 05281444

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, aprile 2012

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

Codice Libristo: 05281444

141 b

57.79 €

Magazzino esterno in piccole quantità Inviamo tra 13-18 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

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

Libro

39.49 €

Das kleine Buch der großen Parfums Tania Sanchez

Rigido

13.39 €

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

In brossura

31.79 €

Tympeät tytöt - Aikuistumisriittejä Riina Tanskanen

Rigido

60.59 €

Dit is Berlin. Das Wimmelbuch Laura Breiling

Rigido

22.29 €

Ernährung des Hundes - Fakten und Mythen Katrin Rohde

In brossura

13.19 €

Il Tuo Oroscopo Personale Completo Dello Scorpione 2025 Iris Quinn

In brossura

13.59 €

Des Devoirs. 3e Edition Cicéron

In brossura

28.19 €

Einflussgroesse und Konsequenzen der Unternehmensfairness Diana Nöcke

In brossura

70.29 €

Anteckningar Rorande Finska Armeens Och Finlands Krigshistoria, Part 1 (1870) Julius Mankell

In brossura

44.59 €

Münzhüllen OPTIMA 34 Leuchtturm Albenverlag

binding.

9.49 €

Blutige Maiglöckchen zum Hochzeitstag Manfred Eisner

In brossura

23.69 €

Porristas en Accion Bobbie Kalman

In brossura

10.09 €

Kompendium der Augenheilkunde Max Tetzer

In brossura

32.69 €

Margaga Martin Cortez

In brossura

25.09 €

Geschichte des teutschen Volkes Heinrich Luden

In brossura

73.49 €

La trascendencia de ego Jean-Paul Sartre

In brossura

19.29 €

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

In brossura

35.49 €

25 Etüden Friedrich Burgmüller

In brossura

11.19 €

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.

Attrice & Poliglotta

EWA KASP per

Riproduci video

Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Logic and Program Semantics

Autore Robert L. Constable, Alexandra Silva

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2012

Numero di pagine 357

EAN 9783642294846

ISBN 3642294847

Codice Libristo 05281444

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Peso 529

Dimensioni 155 x 235 x 28

Categorie

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Algoritmi e strutture dati

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Compilatori e interpreti

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer

Regala questo libro oggi stesso

È facile

1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Raspbian OS Programming with the Raspberry Pi Agus Kurniawan

In brossura

24.29 €

South Beach Gabriele Schuetz

Rigido

19.59 €

Record of the 4th Royal Irish Dragoon Guards in the Great War, 1914-1918 Harold Gibb

In brossura

22.09 €

Fall Steven Saxonberg

Rigido

248.79 €

Community-Based Organizations in Mexico David Arellano-Gault

In brossura

83.09 €

Acceptance A T Weaver

In brossura

20.09 €

Ethics of Interdependence William F. Felice

In brossura

45.49 €

The Always War Margaret Peterson Haddix

In brossura

12.09 €

Handbook of Iron Metabolism Lisa Jordan

Rigido

81.39 €

Septonian Castaway ALBORICAH RATHUP

In brossura

20.09 €

Introduction To Psychology George Sidney Brett

In brossura

8.89 €

Food-Borne Microbes Hua H. Wang

Rigido

176.39 €

My Life with Trains Jim Mcclellan

In brossura

31.09 €

Narrative Economics Robert J. Shiller

Rigido

48.19 €

Decline of the West; Volume 2 Oswald Spengler

Rigido

47.79 €

Best Feng Shui Alignment Paul Yan

In brossura

17.79 €

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

In brossura

15.59 €