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 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 7.99 €

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: 53.79 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

132 b

53.79 €

Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Wolfgang Stutzel - Moderne Konzepte fur Finanzmarkte, Beschaftigung und Wirtschaftsverfassung Eberhart Ketzel

Rigido

218.99 €

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

In brossura

45.79 €

LE VADE-MECUM DU FORESTIER <<<<<

Libro

7.39 €

Agenda poitou charentes 2003 - les objets du poitou charentes2 Levesque

In brossura

22.29 €

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

Libro

18.19 €

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.