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

Endometrial Stem Cells and Its Potential Applications

Endometrial Stem Cells and Its Potential Applications

$54.99
Homosexualitt_en und Alter(n)

Homosexualitt_en und Alter(n)

$59.99
Life System Modeling and Intelligent Computing

Life System Modeling and Intelligent Computing

$39.99
Cybersecurity and Artificial Intelligence

Cybersecurity and Artificial Intelligence

$199.99
Governance and Performance of Education Systems

Governance and Performance of Education Systems

$84.99
The Data Analysis BriefBook

The Data Analysis BriefBook

$54.99
Non-Aligned Psychiatry in the Cold War

Non-Aligned Psychiatry in the Cold War

$129.99
Fractals and Dynamic Systems in Geoscience

Fractals and Dynamic Systems in Geoscience

$54.99
Ethnic Minorities in the Modern Nation State

Ethnic Minorities in the Modern Nation State

$119.99
Education and Global Cultural Dialogue

Education and Global Cultural Dialogue

$39.99
Vielfalt und Einheit der Kritischen Theorie  Kulturwissenschaftliche Perspektiven

Vielfalt und Einheit der Kritischen Theorie Kulturwissenschaftliche Perspektiven

$64.99
Electromagnetic Fields in Electrical Engineering

Electromagnetic Fields in Electrical Engineering

$39.99
Irregular Negatives, Implicatures, and Idioms

Irregular Negatives, Implicatures, and Idioms

$54.99
K-Theory of Finite Groups and Orders

K-Theory of Finite Groups and Orders

$39.99
Hmatologische Erkrankungen

Hmatologische Erkrankungen

$129.00
Controlling & Management Review - Jahrgang 2012

Controlling & Management Review - Jahrgang 2012

$99.99
Design and Analysis of DNA Microarray Investigations

Design and Analysis of DNA Microarray Investigations

$84.99
Rediscovering the Titanic (A True Book: The Titanic)

Rediscovering the Titanic (A True Book: The Titanic)

$5.99
Green Communication and Networking

Green Communication and Networking

$69.99
Decision Modelling and Information Systems

Decision Modelling and Information Systems

$169.99
Endliche Gruppen I

Endliche Gruppen I

$139.99
Objects of Time

Objects of Time

$84.99
konomische Analyse des ffentlichen Rechts

konomische Analyse des ffentlichen Rechts

$39.99
Implementing and Researching Technological Innovation in Language Teaching

Implementing and Researching Technological Innovation in Language Teaching

$54.99
Metaheuristics for Scheduling in Industrial and Manufacturing Applications

Metaheuristics for Scheduling in Industrial and Manufacturing Applications

$169.99
African-American Political Psychology

African-American Political Psychology

$99.99
26. Hmophilie-Symposion

26. Hmophilie-Symposion

$69.99
Protein Conformation as an Immunological Signal

Protein Conformation as an Immunological Signal

$54.99
Management Skills

Management Skills

$39.99
Die Geste in Erziehung, Bildung und Sozialisation

Die Geste in Erziehung, Bildung und Sozialisation

$64.99
Proof Patterns

Proof Patterns

$54.99
Numerical Simulation of Mechatronic Sensors and Actuators

Numerical Simulation of Mechatronic Sensors and Actuators

$199.99
Poetic Occasion from Milton to Wordsworth

Poetic Occasion from Milton to Wordsworth

$84.99
Graph-Based Representation and Reasoning

Graph-Based Representation and Reasoning

$54.99
Web Services  ICWS 2021

Web Services ICWS 2021

$59.99
Structures and Energies of Polycyclic Hydrocarbons

Structures and Energies of Polycyclic Hydrocarbons

$54.99
Atmospheric Acidity

Atmospheric Acidity

$219.99
Todd Parr Books: It's Okay to Be Different / Est bien ser diferente

Todd Parr Books: It's Okay to Be Different / Est bien ser diferente

$5.21
Entity Framework 4.0 Recipes

Entity Framework 4.0 Recipes

$39.99
International Handbook of Phobic and Anxiety Disorders in Children and Adolescents

International Handbook of Phobic and Anxiety Disorders in Children and Adolescents

$169.99
previous
next