Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

Programming Languages and Systems

Best Price (Coupon Required):
Buy Programming Languages and Systems for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.

Set a price drop alert to never miss an offer.

1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
$39.99 $39.99

10% OFF
This deals requires coupon
$36.00
See Site In stock Visit Store

Product Details

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783642370359
Condition
New
Product Description

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.

Available Colors
Available Sizes

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

Data Assimilation for the Earth System

Data Assimilation for the Earth System

$169.99
Untersuchungen ber konstruktive und elektrische Manahmen zur Schwingzeitverkrzung beim Vermessung

Untersuchungen ber konstruktive und elektrische Manahmen zur Schwingzeitverkrzung beim Vermessung

$59.99
Cutting-Edge Business Technologies in the Big Data Era

Cutting-Edge Business Technologies in the Big Data Era

$169.00
Who Speaks for the Child?

Who Speaks for the Child?

$109.99
Kognitives Training in der Ergotherapie

Kognitives Training in der Ergotherapie

$24.99
Myanmars Foreign Exchange Market

Myanmars Foreign Exchange Market

$109.99
Coral Reefs of the United Kingdom Overseas Territories

Coral Reefs of the United Kingdom Overseas Territories

$109.99
Prozessberatung von Kleingruppen

Prozessberatung von Kleingruppen

$64.99
Fiber Atlas

Fiber Atlas

$329.99
Secondary Rhinoplasty

Secondary Rhinoplasty

$329.99
The Political Economy of Sovereign Wealth Funds

The Political Economy of Sovereign Wealth Funds

$54.99
Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, In

Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, In

$99.99
Das Kultbild im Ritus des esoterischen Buddhismus Japans

Das Kultbild im Ritus des esoterischen Buddhismus Japans

$44.99
Interwar London after Dark in British Popular Culture

Interwar London after Dark in British Popular Culture

$119.99
Archetype and Character

Archetype and Character

$84.99
Languages of Resistance, Transformation, and Futurity in Mediterranean Crisis-Scapes

Languages of Resistance, Transformation, and Futurity in Mediterranean Crisis-Scapes

$99.00
International Joint Conference CISIS12-ICEUTE12-SOCO12 Special Sessions

International Joint Conference CISIS12-ICEUTE12-SOCO12 Special Sessions

$219.99
Online-Kommunikation von Organisationen

Online-Kommunikation von Organisationen

$49.99
The Minnesota Code Manual of Electrocardiographic Findings

The Minnesota Code Manual of Electrocardiographic Findings

$199.99
Cross-Cultural Design. Methods, Practice, and Case Studies

Cross-Cultural Design. Methods, Practice, and Case Studies

$54.99
Brgerschaftliches Engagement und Zivilgesellschaft

Brgerschaftliches Engagement und Zivilgesellschaft

$54.99
Environmental Concerns and Sustainable Development

Environmental Concerns and Sustainable Development

$129.00
Spatial Optical-Fiber Coupling Technology in Optical-Wireless Communication

Spatial Optical-Fiber Coupling Technology in Optical-Wireless Communication

$159.99
Compassion and Empathy in Educational Contexts

Compassion and Empathy in Educational Contexts

$119.00
Effective Lagrangians in Quantum Electrodynamics

Effective Lagrangians in Quantum Electrodynamics

$39.99
Topological Spaces

Topological Spaces

$39.99
Plant Chromatin Dynamics

Plant Chromatin Dynamics

$129.00
Facebook in der Sozialen Arbeit

Facebook in der Sozialen Arbeit

$64.99
The Problem of Coronal Heating

The Problem of Coronal Heating

$109.00
Die Digitalisierung der Controlling-Funktion

Die Digitalisierung der Controlling-Funktion

$49.99
The National Element in the Development of Fiscal Theory

The National Element in the Development of Fiscal Theory

$109.99
Tissue Hypoxia and Ischemia

Tissue Hypoxia and Ischemia

$84.99
Die Wirkungen der Alkoholknappheit Whrend des Weltkrieges

Die Wirkungen der Alkoholknappheit Whrend des Weltkrieges

$59.99
Saint Vincent Ferrer, His World and Life

Saint Vincent Ferrer, His World and Life

$59.99
City Shapes

City Shapes

$5.21
Transnational and Postcolonial Vampires

Transnational and Postcolonial Vampires

$39.99
Elektrochemie der Kolloide

Elektrochemie der Kolloide

$59.99
Computer Simulation Studies in Condensed-Matter Physics VI

Computer Simulation Studies in Condensed-Matter Physics VI

$109.99
Britain, France and the Entente Cordiale Since 1904

Britain, France and the Entente Cordiale Since 1904

$39.99
Can South and Southern Africa become Globally Competitive Economies?

Can South and Southern Africa become Globally Competitive Economies?

$39.99
previous
next