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.

Programming Languages and Systems

Name: Programming Languages and Systems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01663271
Price: 51.09 EUR
Availability: InStock
Author: Matthias Felleisen
ISBN: 9783642370359

22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

Matthias Felleisen

Philippa Gardner

Lingua

Inglese

Libro In brossura

Codice Libristo: 01663271

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

This book constitutes the refereed proceedings of the 22nd European Symposium on Programming, ESOP 2... Descrizione completa

Codice Libristo: 01663271

125 b

51.09 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Abundancia y Diversidad de Escarabajos Coprofagos En El Tipnis Veronica Yumi Herrera Yamaguchi

In brossura

45.79 €

Und Marx stand still in Darwins Garten Ilona Jerger

In brossura

13.39 €

LE VADE-MECUM DU FORESTIER <<<<<

Libro

7.29 €

Agenda poitou charentes 2003 - les objets du poitou charentes2 Levesque

In brossura

20.39 €

PERDIDA DE FILIPINAS,NARRADA POR UN SOLDADO EXTREMEÑO CAVES PALACIOS

Libro

16.59 €

La Respuesta Victor Manuel Penaloza Andaya

Adobe ePub DRM

4.79 €

This book constitutes the refereed proceedings of the 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013.§The 31 papers, presented together with a full-length invited talk, were carefully reviewed and selected from 120 full submissions. The contributions have been organized according to ten topical sections on programming techniques; programming tools; separation logic; gradual typing; shared-memory concurrency and verification; process calculi; taming concurrency; model checking and verification; weak-memory concurrency and verification; and types, inference, and analysis.