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  
Computer hardware

Programming Languages and Systems

18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$151.00
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
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $37.75 with Afterpay Learn more

6 weekly interest-free payments of $25.17 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 18-28 June using International Courier

Explore more Programming and Software Engineering

See all products in this series

Integrated Formal Methods
$151.00
Integrated Formal Methods
Paperback / softback
Available - Usually ships in 3-4 weeks
Mathematics of Program Construction
$152.00
Mathematics of Program Construction
Paperback / softback
Available - Usually ships in 3-4 weeks
End-User Development
$151.00
End-User Development
Paperback / softback
Available - Usually ships in 3-4 weeks
Reversible Computation
$151.00
Reversible Computation
Paperback / softback
Available - Usually ships in 3-4 weeks
Object-Oriented Technology. ECOOP 2004 Workshop Reader
$149.00
Object-Oriented Technology. ECOOP 2004 Workshop Reader
Paperback / softback
Available - Usually ships in 3-4 weeks
Agile Processes in Software Engineering and Extreme Programming
$150.00
Agile Processes in Software Engineering and Extreme Programming
Paperback / softback
Available - Usually ships in 3-4 weeks
Verified Software. Theories, Tools, and Experiments
$151.00
Verified Software. Theories, Tools, and Experiments
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods – The Next 30 Years
$151.00
Formal Methods – The Next 30 Years
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Aspects of Component Software
$151.00
Formal Aspects of Component Software
Paperback / softback
Available - Usually ships in 3-4 weeks
Programming Languages and Systems
$154.00
Programming Languages and Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Experimental and Efficient Algorithms
$301.00
Experimental and Efficient Algorithms
Paperback / softback
Available - Usually ships in 3-4 weeks
Programming Languages and Systems
$156.00
Programming Languages and Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Automated Technology for Verification and Analysis
$155.00
Automated Technology for Verification and Analysis
Paperback / softback
Available - Usually ships in 3-4 weeks
Agent-Oriented Software Engineering IX
$151.00
Agent-Oriented Software Engineering IX
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods and Software Engineering
$151.00
Formal Methods and Software Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
ECOOP - Object-Oriented Programming
$302.00
ECOOP - Object-Oriented Programming
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the proceedings of the 18th Asian Symposium on Programming Languages and Systems, APLAS 2020, held in Fukuoka, Japan, in December 2020.*The 19 papers presented in this volume were carefully reviewed and selected from 46 submissions. They were organized in topical sections named: Invited Papers, Types, Program Analysis, Semantics, Language Design and Implementation, Concurrency, Verification, and Logic and Automata. * The conference was held virtually due to the COVID-19 pandemic.
Release date NZ
November 27th, 2020
Contributor
  • Edited by Bruno C. d. S. Oliveira
Pages
374
Edition
1st ed. 2020
Audience
  • Professional & Vocational
Illustrations
88 Illustrations, color; 99 Illustrations, black and white; XVI, 374 p. 187 illus., 88 illus. in color.
ISBN-13
9783030644369
Product ID
34027664

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 >
Computer hardware
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 >
Artificial intelligence