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

Violent Non-state Actors and the Syrian Civil War

Violent Non-state Actors and the Syrian Civil War

$84.99
SSP 2004

SSP 2004

$84.99
Immobilienbewertung

Immobilienbewertung

$24.99
Asymptotic Prime Divisors

Asymptotic Prime Divisors

$29.99
Ultraschallfibel Innere Medizin

Ultraschallfibel Innere Medizin

$44.99
Life Cycle Inventory Analysis

Life Cycle Inventory Analysis

$139.99
Integralgeometrie

Integralgeometrie

$69.95
Ecology and Evolution of Plant-Herbivore Interactions on Islands

Ecology and Evolution of Plant-Herbivore Interactions on Islands

$179.99
Search for Exotic Higgs Boson Decays to Merged Diphotons

Search for Exotic Higgs Boson Decays to Merged Diphotons

$179.99
Gewalt und Ehre

Gewalt und Ehre

$39.99
Catalogue of Important Books on Roman and Ancient Foreign Law

Catalogue of Important Books on Roman and Ancient Foreign Law

$54.99
Stem Cell Heterogeneity

Stem Cell Heterogeneity

$109.99
Hermeneutische Knste

Hermeneutische Knste

$69.99
Coups from Below

Coups from Below

$39.99
kologische Unternehmenspolitik

kologische Unternehmenspolitik

$49.99
Festschrift fr Werner Merle

Festschrift fr Werner Merle

$119.99
International Symposium: Retroviruses and Human Pathology

International Symposium: Retroviruses and Human Pathology

$169.00
Reviews of Environmental Contamination and Toxicology Volume 209

Reviews of Environmental Contamination and Toxicology Volume 209

$129.00
The Poetic Music of Wallace Stevens

The Poetic Music of Wallace Stevens

$99.00
Markov Logic

Markov Logic

$29.87
Strahlungsmessung und Dosimetrie

Strahlungsmessung und Dosimetrie

$59.99
R&D, Innovation and Competitiveness in the European Chemical Industry

R&D, Innovation and Competitiveness in the European Chemical Industry

$109.99
Demografiepolitik

Demografiepolitik

$59.99
Das Herz und die Blutgefe

Das Herz und die Blutgefe

$59.99
The Matteotti Murder and Mussolini

The Matteotti Murder and Mussolini

$44.99
Jatropha, Challenges for a New Energy Crop

Jatropha, Challenges for a New Energy Crop

$219.99
Sustainable Development and Tropical Agri-chains

Sustainable Development and Tropical Agri-chains

$169.99
Building Economics: Theory and Practice

Building Economics: Theory and Practice

$129.00
Die Ohnmacht bei der Geburt vom gerichtsrztlichen Standpunkt

Die Ohnmacht bei der Geburt vom gerichtsrztlichen Standpunkt

$59.99
Pediatric Acute Lymphoblastic Leukemia

Pediatric Acute Lymphoblastic Leukemia

$159.99
Nutrition and Metabolism of Dogs and Cats

Nutrition and Metabolism of Dogs and Cats

$149.00
Psychotherapie-Kompass

Psychotherapie-Kompass

$19.99
The Referendum that Changed a Nation

The Referendum that Changed a Nation

$49.99
Outdoor-Training

Outdoor-Training

$59.99
Mythos Businessplan

Mythos Businessplan

$29.99
Technische Mechanik fr Bauingenieure

Technische Mechanik fr Bauingenieure

$69.99
Passion for Place Book II

Passion for Place Book II

$109.99
Current Trends in Histocompatibility

Current Trends in Histocompatibility

$84.99
Topological and Uniform Spaces

Topological and Uniform Spaces

$54.99
Superconductor Electronics

Superconductor Electronics

$39.99
previous
next