Your Waterstones card is changing, introducing...
TELL ME MORE
Programming Languages and Systems: 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings - Lecture Notes in Computer Science 8858 (Paperback)
  • Programming Languages and Systems: 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings - Lecture Notes in Computer Science 8858 (Paperback)
zoom

Programming Languages and Systems: 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings - Lecture Notes in Computer Science 8858 (Paperback)

(editor)
£64.99
Paperback 490 Pages / Published: 23/10/2014
  • We can order this

Usually despatched within 3 weeks

  • This item has been added to your basket
This book constitutes the refereed proceedings of the 12th Asian Symposium on Programming Languages and Systems, APLAS 2014, held in Singapore, Singapore in November 2014. The 20 regular papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 57 submissions. The papers cover a variety of foundational and practical issues in programming languages and systems - ranging from foundational to practical issues. The papers focus on topics such as semantics, logics, foundational theory; design of languages, type systems and foundational calculi; domain-specific languages; compilers, interpreters, abstract machines; program derivation, synthesis and transformation; program analysis, verification, model-checking; logic, constraint, probabilistic and quantum programming; software security; concurrency and parallelism; as well as tools and environments for programming and implementation.

Publisher: Springer International Publishing AG
ISBN: 9783319127354
Number of pages: 490
Weight: 7606 g
Dimensions: 235 x 155 x 26 mm
Edition: 2014 ed.

You may also be interested in...

The C++ Programming Language
Added to basket
Learn To Program
Added to basket
£19.99
Paperback
The C++ Programming Language
Added to basket
R Cookbook
Added to basket
£31.99
Paperback
Coding for Beginners in easy steps
Added to basket
Data Analysis Using SQL and Excel
Added to basket
Effective STL
Added to basket
£40.99
Paperback
C Programming Absolute Beginner's Guide
Added to basket
Effective C++
Added to basket
£40.99
Paperback
Mindstorms
Added to basket
£14.99
Paperback
C++ Demystified
Added to basket
£19.99
Paperback
C++ Primer
Added to basket
£43.99
Paperback
C++ All-in-One For Dummies
Added to basket
C++ For Dummies
Added to basket
£21.99
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.