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

ROSETTA

ROSETTA

$219.99
Principles of Brain Functioning

Principles of Brain Functioning

$54.99
Black Panther - Shuri: The Vanished

Black Panther - Shuri: The Vanished

$6.74
Cytokines in Severe Sepsis and Septic Shock

Cytokines in Severe Sepsis and Septic Shock

$169.00
Computer Technology and Employment

Computer Technology and Employment

$109.99
Projektmanagement fr die Praxis

Projektmanagement fr die Praxis

$59.99
Language, Music and Gesture: Informational Crossroads

Language, Music and Gesture: Informational Crossroads

$169.99
Ethics and Fairness in Medical Imaging

Ethics and Fairness in Medical Imaging

$54.99
Biosphrenreservate in Deutschland

Biosphrenreservate in Deutschland

$59.99
Proceedings of the European Conference on Complex Systems 2012

Proceedings of the European Conference on Complex Systems 2012

$219.99
Urdu Literary Culture

Urdu Literary Culture

$39.99
Espionage and Counterintelligence in Occupied Persia (Iran)

Espionage and Counterintelligence in Occupied Persia (Iran)

$99.00
An Eleventh-Century Buddhist Logic of Exists

An Eleventh-Century Buddhist Logic of Exists

$54.99
Verfahren zur Erzielung glatter Schnittflchen beim vollkantigen Schneiden von Blech

Verfahren zur Erzielung glatter Schnittflchen beim vollkantigen Schneiden von Blech

$59.99
Financial Crises, Sovereign Risk and the Role of Institutions

Financial Crises, Sovereign Risk and the Role of Institutions

$109.99
Electrochemistry Crash Course for Engineers

Electrochemistry Crash Course for Engineers

$59.99
Theology, Politics and Letters at the Crossroads of European Civilization

Theology, Politics and Letters at the Crossroads of European Civilization

$169.99
Die Prfung der chemischen Reagentien auf Reinheit

Die Prfung der chemischen Reagentien auf Reinheit

$59.99
Tabelle der Hauptlinien der Linienspektre aller Elemente nach Wellenlnge geordnet

Tabelle der Hauptlinien der Linienspektre aller Elemente nach Wellenlnge geordnet

$59.99
Social Change and Stratification in Postwar Czechoslovakia

Social Change and Stratification in Postwar Czechoslovakia

$74.99
Baustofflehre

Baustofflehre

$69.99
On Keatss Practice and Poetics of Responsibility

On Keatss Practice and Poetics of Responsibility

$44.99
Constitutive Relation in High/Very High Strain Rates

Constitutive Relation in High/Very High Strain Rates

$39.99
Butterfly Life Cycle Pack

Butterfly Life Cycle Pack

$6.99
Business Analytics

Business Analytics

$129.99
Cross-border Mergers and Acquisitions

Cross-border Mergers and Acquisitions

$109.99
Theorie der Elektrizitt

Theorie der Elektrizitt

$24.99
Genomics of Plant Genetic Resources

Genomics of Plant Genetic Resources

$219.99
Advanced Magnetic Nanostructures

Advanced Magnetic Nanostructures

$169.99
5th International Colloquium on Transformer Research and Asset Management

5th International Colloquium on Transformer Research and Asset Management

$89.00
Modern Time Series Analysis in Forest Products Markets

Modern Time Series Analysis in Forest Products Markets

$169.99
Functional Analysis and Continuous Optimization

Functional Analysis and Continuous Optimization

$149.00
Second Sight in the Nineteenth Century

Second Sight in the Nineteenth Century

$119.99
Financing from Masses

Financing from Masses

$109.99
Proceedings of the 1983 Academy of Marketing Science (AMS) Annual Conference

Proceedings of the 1983 Academy of Marketing Science (AMS) Annual Conference

$129.00
The Genetics of Cardiovascular Disease

The Genetics of Cardiovascular Disease

$219.99
Die Schule der Migrationsgesellschaft im Blick

Die Schule der Migrationsgesellschaft im Blick

$64.99
Advanced X-ray Crystallography

Advanced X-ray Crystallography

$219.99
Virtual Inertia Synthesis and Control

Virtual Inertia Synthesis and Control

$139.99
Equity in the Civil Law Tradition

Equity in the Civil Law Tradition

$109.00
previous
next