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 programming / software development  
Programming & scripting languages: general

Programming Languages and Systems

15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$139.99
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 $35.00 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 11-21 June using International Courier

Explore more Programming and Software Engineering

See all products in this series

Generative and Transformational Techniques in Software Engineering III Save $48
$145.99
$194.95
Generative and Transformational Techniques in Software Engineering III
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Techniques for Distributed Objects, Components, and Systems
$139.99
Formal Techniques for Distributed Objects, Components, and Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Requirements Engineering: Foundation for Software Quality
$139.99
Requirements Engineering: Foundation for Software Quality
Paperback / softback
Available - Usually ships in 3-4 weeks
Component Deployment
$143.99
$146.95
Component Deployment
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Safety, Reliability, and Security Save $71
$142.99
$214.95
Computer Safety, Reliability, and Security
Paperback / softback
Available - Usually ships in 3-4 weeks
Logic Programming Save $60
$142.99
$203.95
Logic Programming
Paperback / softback
Available - Usually ships in 3-4 weeks
Search Based Software Engineering
$139.99
Search Based Software Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Integrated Formal Methods Save $27
$139.99
$167.95
Integrated Formal Methods
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Safety, Reliability, and Security
$163.99
Computer Safety, Reliability, and Security
Paperback / softback
Available - Usually ships in 3-4 weeks
Verified Software: Theories, Tools and Experiments
$138.99
Verified Software: Theories, Tools and Experiments
Paperback / softback
Available - Usually ships in 3-4 weeks
Reversible Computation
$178.99
Reversible Computation
Paperback / softback
Available - Usually ships in 3-4 weeks
Fundamentals of Software Engineering
$138.99
Fundamentals of Software Engineering
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Approaches to Software Testing Save $19
$138.99
$158.95
Formal Approaches to Software Testing
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Techniques for Networked and Distributed Systems - FORTE 2007 Save $38
$141.99
$180.95
Formal Techniques for Networked and Distributed Systems - FORTE 2007
Paperback / softback
Available - Usually ships in 3-4 weeks
Theory and Models for Cyber Situation Awareness
$151.99
Theory and Models for Cyber Situation Awareness
Paperback / softback
Available - Usually ships in 3-4 weeks
Software Architecture
$140.99
Software Architecture
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the proceedings of the 15th Asian Symposium on Programming Languages and Systems, APLAS 2017, held in Suzhou, China, in November 2017. The 24 papers presented in this volume were carefully reviewed and selected from 56 submissions. They were organized in topical sections named: security; heap and equivalence reasoning; concurrency and verification; domain-specific languages; semantics; and numerical reasoning. The volume also contains two invited talks in full-paper length. 
Release date Australia
November 19th, 2017
Contributor
  • Edited by Bor-Yuh Evan Chang
Pages
555
Edition
1st ed. 2017
Audience
  • Postgraduate, Research & Scholarly
Illustrations
116 Illustrations, black and white; XIX, 555 p. 116 illus.
ISBN-13
9783319712369
Product ID
27259242

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 programming / software development >
Programming & scripting languages: general
Books >
Computers & Internet >
Computing: general
Books >
Computers & Internet >
Computer hardware
Books >
Computers & Internet >
Computer programming / software development
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Systems analysis & design