Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Programming Languages and Systems

Name: Programming Languages and Systems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01663271
Price: 51.75 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

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01663271

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, február 2013

This book constitutes the refereed proceedings of the 22nd European Symposium on Programming, ESOP 2... Celý popis

Libristo kód: 01663271

125 b

51.75 €

Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

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

Pevná

204.48 €

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

Brožovaná

43.85 €

LE VADE-MECUM DU FORESTIER <<<<<

Kniha

7.28 €

Agenda poitou charentes 2003 - les objets du poitou charentes2 Levesque

Brožovaná

22.58 €

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

Kniha

18.42 €

La Respuesta Victor Manuel Penaloza Andaya

Adobe ePub DRM

4.55 €

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.