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

Programming Languages and Systems

Best Price (Coupon Required):
Buy Programming Languages and Systems for $45.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: $49.99 - $49.99
BEST PRICE

Single Product Purchase

$45.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
$49.99 $49.99

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

Product Details

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

This book constitutes the refereed proceedings of the 21st Asian Symposium on Programming Languages and Systems, APLAS 2023, held in Taipei, Taiwan, during November 2629, 2023. The 15 full papers included in this book are carefully reviewed and selected from 32 submissions. They were organized in topical sections as follows: semantics, logics, and foundational theory; design of languages, type systems, and foundational calculi; domain-specific languages; compilers, interpreters, and abstract machines; program derivation, synthesis, and transformation; program analysis, verification, and model-checking; logic, constraint, probabilistic, and quantum programming; software security; concurrency and parallelism; tools and environments for programming and implementation; and applications of SAT/SMT to programming and implementation.

Available Colors
Available Sizes

Reviews

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

Questions & Answers

Similar Products

Radiobiology and Environmental Security

Radiobiology and Environmental Security

$169.00
Mobilization of Reserves in Germination

Mobilization of Reserves in Germination

$84.99
Electrochemical Sensors in Immunological Analysis

Electrochemical Sensors in Immunological Analysis

$219.99
Transformations Through Blockchain Technology

Transformations Through Blockchain Technology

$139.99
Untersuchungen an Werkzeugmaschinenspindeln, Wlzlagern und hydrostatischen Lagerungen

Untersuchungen an Werkzeugmaschinenspindeln, Wlzlagern und hydrostatischen Lagerungen

$59.99
Concentrating Photovoltaics (CPV): The Path Ahead

Concentrating Photovoltaics (CPV): The Path Ahead

$119.99
Adaptive Hybrid Active Power Filters

Adaptive Hybrid Active Power Filters

$159.99
Working with Groupware

Working with Groupware

$54.99
Mach

Mach

$59.99
Advances in Agile and User-Centred Software Engineering

Advances in Agile and User-Centred Software Engineering

$54.99
Nachhaltigkeit in der wissenschaftlichen Weiterbildung

Nachhaltigkeit in der wissenschaftlichen Weiterbildung

$59.99
Collaboration in Theatre

Collaboration in Theatre

$79.99
Differenziertes Performance Measurement in Supply Chains

Differenziertes Performance Measurement in Supply Chains

$74.99
Die Entstehung des Dieselmotors

Die Entstehung des Dieselmotors

$84.99
Value Distribution Theory

Value Distribution Theory

$34.99
Categorical Perspectives

Categorical Perspectives

$84.99
Chirurgie und Recht

Chirurgie und Recht

$59.99
Yeast Functional Genomics

Yeast Functional Genomics

$89.00
Capillary Electrophoresis of Proteins and Peptides

Capillary Electrophoresis of Proteins and Peptides

$109.99
Clinical Decisions in Pediatric Nephrology

Clinical Decisions in Pediatric Nephrology

$59.99
Darwinian Fitness in the Global Marketplace

Darwinian Fitness in the Global Marketplace

$39.99
Vibronic Interactions in Molecules and Crystals

Vibronic Interactions in Molecules and Crystals

$54.99
Informatics in Schools. Curricula, Competences, and Competitions

Informatics in Schools. Curricula, Competences, and Competitions

$54.99
Versuche zur Ermittlung der Knickspannungen fr verschiedene Bausthle

Versuche zur Ermittlung der Knickspannungen fr verschiedene Bausthle

$59.99
Compliance im Sport

Compliance im Sport

$59.99
Emerging Local Politics in Indonesia

Emerging Local Politics in Indonesia

$139.99
Blade Runner, Matrix und Avatare

Blade Runner, Matrix und Avatare

$44.99
Transport at the Air-Sea Interface

Transport at the Air-Sea Interface

$129.00
Kazhdan-Lusztig Cells with Unequal Parameters

Kazhdan-Lusztig Cells with Unequal Parameters

$89.00
Sensorimotor Control of Movement and Posture

Sensorimotor Control of Movement and Posture

$299.00
Model Reduction of Parametrized Systems

Model Reduction of Parametrized Systems

$159.99
Sentiment Analysis in the Medical Domain

Sentiment Analysis in the Medical Domain

$199.99
Children and Childhood in Colonial Nigerian Histories

Children and Childhood in Colonial Nigerian Histories

$54.99
Th Thorium

Th Thorium

$549.99
Pdiatrische Rheumatologie

Pdiatrische Rheumatologie

$219.00
Beyond Taylorism

Beyond Taylorism

$129.00
Pharmakotherapie in der Reanimation nach Herz-Kreislauf-Stillstand

Pharmakotherapie in der Reanimation nach Herz-Kreislauf-Stillstand

$69.99
Wohin gehren Punkt und Komma?

Wohin gehren Punkt und Komma?

$64.99
Systemic Thinking

Systemic Thinking

$69.99
Pb Organolead Compounds

Pb Organolead Compounds

$39.99
previous
next