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

Principles of Data Mining and Knowledge Discovery

$39.99

Europe as an Idea and an Identity

$179.99

Statistical Physics for Electrical Engineering

$84.99

Reconciliation in Conflict-Affected Communities

$139.99

The Computer - My Life

$89.99

Organisation im Gesundheitsbetrieb

$39.99

Mehrschicht-CT

$84.99

Identity, Interests and Attitudes to European Integration

$79.99

Security Politics in the Commonwealth of Independent States

$39.99

Germline Development

$109.99

Hagers Handbuch der pharmazeutischen Praxis

$69.99

Giants of Eclipse: The Aurigae Stars and Other Binary Systems

$109.99

Methods of Digital Holography

$54.99

S3-Leitlinie Zwangsstrungen

$44.99

Physical Oceanography of the Baltic Sea

$249.99

Ergebnisse der Inneren Medizin und Kinderheilkunde

$79.99

Muonic Atoms and Molecules

$39.99

Rock Rheology

$169.00

Persuasive Technology

$54.99

Burn After Writing (Celestial 2.0) by Sharon Jones

$14.00

Virus and Virus-like Diseases of Major Crops in Developing Countries

$169.00

Animal Models of Acute Neurological Injuries II

$169.99

A Practical Guide to Implementing School-Based Interventions for Adolescents with ADHD

$54.99

The Arrival (Hardcover)

$16.49

Baustellenmanagement im Anlagenbau

$109.00

Niedriglohnbeschftigung im Wohlfahrtsstaat

$49.99

Time-Integrative Geographic Information Systems

$109.99

The Ganga

$169.99

Trugschlsse

$59.99

Baby Faces Board Books

$13.75

Hydrogeologische Methoden

$139.00

Leadership Learning

$39.99

Reference Materials in Measurement and Technology

$179.99

Biochemistry of Inflammation

$169.00

Sound-Flow Interactions

$109.99

Treewidth, Kernels, and Algorithms

$54.99

Cognitive Development in Chimpanzees

$129.00

Chinese Political Thought

$109.99

Gateaux and Torten

$109.99

Unterrichtsplanung: Politik/Sozialkunde

$29.99