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
9783319265292
Condition
New
Product Description

This book constitutes the refereed proceedings of the 13th Asian Symposium on Programming Languages and Systems, APLAS 2015, held in Pohang, South Korea, in November/December 2015. The 24 regular papers presented together with 1 short paper were carefully reviewed and selected from 74 submissions. The papers cover a variety of foundational and practical issues in programming languages and systems and have been organized in topical sections on compilers, separation logic, static analysis and abstract interpretation, Hoare logic and types, functional programming and semantics, model checking, program analysis, medley, and programming models.

Available Colors
Available Sizes

Reviews

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

Questions & Answers

Similar Products

The Development and Governance of Private Universities in China

The Development and Governance of Private Universities in China

$129.99
Annual Update in Intensive Care and Emergency Medicine 2020

Annual Update in Intensive Care and Emergency Medicine 2020

$139.99
Information Search, Integration, and Personalization

Information Search, Integration, and Personalization

$39.99
Alternativmedizin

Alternativmedizin

$69.99
Partitions, q-Series, and Modular Forms

Partitions, q-Series, and Modular Forms

$149.00
Handbook of Metal Treatments and Testing

Handbook of Metal Treatments and Testing

$219.99
Entwicklungswandel Wohnungsbau: Neue Gebudekonzepte in Trocken- und Leichtbauweise

Entwicklungswandel Wohnungsbau: Neue Gebudekonzepte in Trocken- und Leichtbauweise

$54.99
Eigenkapitalbeteiligungen an projektfinanzierten PPP-Projekten im deutschen Hochbau

Eigenkapitalbeteiligungen an projektfinanzierten PPP-Projekten im deutschen Hochbau

$69.99
Energy Demand Challenges in Europe

Energy Demand Challenges in Europe

$31.00
George Berkeley: Religion and Science in the Age of Enlightenment

George Berkeley: Religion and Science in the Age of Enlightenment

$129.00
Fractal Geometry and Stochastics II

Fractal Geometry and Stochastics II

$109.99
Multifield Problems in Solid and Fluid Mechanics

Multifield Problems in Solid and Fluid Mechanics

$169.00
Metabolic Turnover in the Nervous System

Metabolic Turnover in the Nervous System

$39.99
Der Nerve Growth Factor bei neuropsychiatrischen Erkrankungen

Der Nerve Growth Factor bei neuropsychiatrischen Erkrankungen

$59.99
Interventions in Career Design and Education

Interventions in Career Design and Education

$199.99
Innovative Approaches for Learning and Knowledge Sharing

Innovative Approaches for Learning and Knowledge Sharing

$109.99
Time-Domain Finite Element Methods for Maxwell's Equations in Metamaterials

Time-Domain Finite Element Methods for Maxwell's Equations in Metamaterials

$129.99
The Post-Apocalyptic Novel in the Twenty-First Century

The Post-Apocalyptic Novel in the Twenty-First Century

$84.99
The Economics of Multitasking

The Economics of Multitasking

$109.99
Computer Vision  ECCV 2020 Workshops

Computer Vision ECCV 2020 Workshops

$84.99
Molecular Radio-Oncology

Molecular Radio-Oncology

$109.99
Value Engineering in Artificial Intelligence

Value Engineering in Artificial Intelligence

$89.00
Retrospect

Retrospect

$54.99
Management der Software-Wartung

Management der Software-Wartung

$44.99
Wenn Heimerziehung scheitert oder schwierige Jugendliche nicht mehr knnen

Wenn Heimerziehung scheitert oder schwierige Jugendliche nicht mehr knnen

$49.99
Schilddrsenhormone und Krperperipherie. Regulation der Schilddrsenfunktion

Schilddrsenhormone und Krperperipherie. Regulation der Schilddrsenfunktion

$59.99
Violent Women in Contemporary Theatres

Violent Women in Contemporary Theatres

$84.99
Die drei Stufen der Dngung

Die drei Stufen der Dngung

$59.99
Elliptic Partial Differential Equations

Elliptic Partial Differential Equations

$199.99
Context Aware Human-Robot and Human-Agent Interaction

Context Aware Human-Robot and Human-Agent Interaction

$109.99
AI*IA 2003: Advances in Artificial Intelligence

AI*IA 2003: Advances in Artificial Intelligence

$54.99
Nursing Ethics: Feminist Perspectives

Nursing Ethics: Feminist Perspectives

$39.99
Schlsselwerke der Vulnerabilittsforschung

Schlsselwerke der Vulnerabilittsforschung

$69.99
Quantitative Aspects of Risk Assessment in Chemical Carcinogenesis

Quantitative Aspects of Risk Assessment in Chemical Carcinogenesis

$109.99
Experimentelle Mathematik

Experimentelle Mathematik

$29.99
Manual on Membrane Lipids

Manual on Membrane Lipids

$84.99
Integrative Medicine for Vulnerable Populations

Integrative Medicine for Vulnerable Populations

$49.99
Integer Programming and Combinatorial Optimization

Integer Programming and Combinatorial Optimization

$79.99
Unilateral Denunciation of Treaty Because of Prior Violations of Obligations by Other Party

Unilateral Denunciation of Treaty Because of Prior Violations of Obligations by Other Party

$54.99
Handbuch Qualitative Forschung in der Psychologie

Handbuch Qualitative Forschung in der Psychologie

$69.99
previous
next