Programming Languages and Systems Image close
Programming Languages and Systems
Programming Languages and Systems
Show Hide Adult Content
Programming Languages and Systems close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computing: general

Programming Languages and Systems

17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$136.99
RRP:
$167.95 save $30.96
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $34.25 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 2-12 July using International Courier

Explore more Programming and Software Engineering

See all products in this series

On the Move to Meaningful Internet Systems. OTM 2018 Conferences Save $90
$135.99
$226.95
On the Move to Meaningful Internet Systems. OTM 2018 Conferences
Paperback / softback
Available - Usually ships in 3-4 weeks
Practical Aspects of Declarative Languages
$170.99
Practical Aspects of Declarative Languages
Paperback / softback
Available - Usually ships in 3-4 weeks
Reversible Computation Save $22
$135.99
$158.95
Reversible Computation
Paperback / softback
Available - Usually ships in 3-4 weeks
Integrated Formal Methods Save $31
$135.99
$167.95
Integrated Formal Methods
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods for Web Services
$170.99
Formal Methods for Web Services
Paperback / softback
Available - Usually ships in 3-4 weeks
OpenSHMEM and Related Technologies. Big Compute and Big Data Convergence
$146.99
OpenSHMEM and Related Technologies. Big Compute and Big Data...
Paperback / softback
Available - Usually ships in 3-4 weeks
Testing Software and Systems
$135.99
Testing Software and Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Programming Languages and Systems Save $31
$135.99
$167.95
Programming Languages and Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Service-Oriented Computing
$284.99
Service-Oriented Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods: Foundations and Applications
$146.99
Formal Methods: Foundations and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Tests and Proofs
$135.99
$136.95
Tests and Proofs
Paperback / softback
Available - Usually ships in 3-4 weeks
Static Analysis
$138.99
Static Analysis
Paperback / softback
Available - Usually ships in 3-4 weeks
Construction and Evolution of Code Generators
$134.99
Construction and Evolution of Code Generators
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods for Open Object-Based Distributed Systems Save $22
$134.99
$157.95
Formal Methods for Open Object-Based Distributed Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
FM 2009: Formal Methods Save $38
$277.99
$316.95
FM 2009: Formal Methods
Paperback / softback
Available - Usually ships in 3-4 weeks
HCI and Usability for e-Inclusion
$270.99
HCI and Usability for e-Inclusion
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the proceedings of the 17th Asian Symposium on Programming Languages and Systems, APLAS 2019, held in Nusa Dua, Bali, Indonesia, in December 2019. The 22 papers presented in this volume were carefully reviewed and selected from 50 submissions. They were organized in topical sections named: Invited Papers, Types, Program Analysis, Semantics, Language Design and Implementation, Concurrency, Verification, and Logic and Automata.
Release date Australia
November 9th, 2019
Contributor
  • Edited by Anthony Widjaja Lin
Pages
492
Edition
1st ed. 2019
Audience
  • Professional & Vocational
Illustrations
24 Illustrations, color; 585 Illustrations, black and white; XIII, 492 p. 609 illus., 24 illus. in color.
ISBN-13
9783030341749
Product ID
31695947

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computing: general
Books >
Computers & Internet >
Computer programming / software development
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Systems analysis & design