Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Programming Languages and Systems

Programming Languages and Systems

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
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

Maanaland (Hardcover)

$14.24

Performing Gender Violence

$54.99

Multilevel Pedagogical Leadership in Higher Education

$59.99

Praxisbuch neurologische Pharmakotherapie

$49.99

Benchmarking im Krankenhaus

$34.99

Liberty Beyond Neo-Liberalism

$54.99

Colonial Karma

$54.99

Sex, Strategy and the Stratosphere

$84.99

Providing Public Goods in Transitional China

$54.99

A Workbook of Electrochemistry

$39.99

Recent Advances in Nanomaterials

$169.00

Measuring EU Inflation

$129.99

Financial Crises and Earnings Management Behavior

$139.99

Psyche und Immunsystem

$59.99

Einfhrung in die Methoden der empirischen Soziologie

$49.99

nderbarkeit durch Objektorientierung

$69.99

Network Role Mining and Analysis

$39.99

Frontiers of Combining Systems

$39.99

Chaos Theory in Politics

$54.99

Mitochondria and Cell Death

$129.00

Nachhaltiger Konsum

$89.00

Play & Learn Math: Hundred Chart

$8.99

Flexible and Generalized Uncertainty Optimization

$99.00

Logic Circuit Design

$84.99

Property Tax Reform in Developing Countries

$169.99

The Global Currency Power of the US Dollar

$119.99

Die Funktion von nichtstaatlichen Primarschulen in Post-Konflikt-Gesellschaften

$64.99

Kreatives Konfliktmanagement im Gesundheits- und Krankenpflegebereich

$44.99

Advances in Cryptology EUROCRYPT 2022

$179.99

Phosphodiesterase Methods and Protocols

$84.99

Item Response Theory

$199.99

Das Schtzen von Lngen und Fassungsvermgen

$59.99

Problems in Cardiology

$54.99

Computeruntersttzung im Portfoliomanagement

$59.99

The EU, ASEAN and Interregionalism

$54.99

Personalpolitische Handlungsalternativen mit lteren Arbeitnehmern in Unternehmen vor dem Hintergrun

$74.99

Macropsychology

$159.99

Rechnergesttzter Entwurf hochintegrierter MOS-Schaltungen

$69.99

Responsive Envelopes and Climate Change

$169.99

The British between the Superpowers, 194550

$84.99