Practical Aspects of Declarative Languages Image close
Practical Aspects of Declarative Languages
Practical Aspects of Declarative Languages
Show Hide Adult Content
Practical Aspects of Declarative Languages close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer programming / software development

Practical Aspects of Declarative Languages

19th International Symposium, PADL 2017, Paris, France, January 16-17, 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
Intelligent Tutoring Systems
$282.99
Intelligent Tutoring Systems
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

Description

This book constitutes the proceedings of the 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017, held in Paris, France, in January 2017 and collocated with the ACM SIGPLAN Symposium on Principles of Programming Languages. The 14 papers presented in this volume were carefully reviewed and selected from 27 submissions. They deal with novel applications and implementation techniques for all forms of declarative languages, including but not limited to logic, constraint, and functional languages. 
Release date Australia
December 17th, 2016
Contributors
  • Edited by Walid Taha
  • Edited by Yuliya Lierler
Pages
215
Edition
1st ed. 2017
Audience
  • Professional & Vocational
Illustrations
31 Illustrations, black and white; X, 215 p. 31 illus.
ISBN-13
9783319516752
Product ID
26408062

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
Books >
Computers & Internet >
Business applications
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