Logic-Based Program Synthesis and Transformation Image close
Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
Show Hide Adult Content
Logic-Based Program Synthesis and Transformation close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer Programming

Logic-Based Program Synthesis and Transformation

25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$138.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 $34.75 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 4-16 July using International Courier

Explore more Theoretical Computer Science and General Issues

See all products in this series

Sequences and Their Applications - SETA 2014
$135.99
Sequences and Their Applications - SETA 2014
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Science and Its Applications - ICCSA 2014 Save $59
$150.99
$210.95
Computational Science and Its Applications - ICCSA 2014
Paperback / softback
Available - Usually ships in 3-4 weeks
Genetic Programming Save $26
$136.99
$163.95
Genetic Programming
Paperback / softback
Available - Usually ships in 3-4 weeks
Biomedical Simulation Save $17
$134.99
$152.95
Biomedical Simulation
Paperback / softback
Available - Usually ships in 3-4 weeks
Foundations of Software Science and Computational Structures Save $62
$140.99
$203.95
Foundations of Software Science and Computational Structures
Paperback / softback
Available - Usually ships in 3-4 weeks
Graph-Theoretic Concepts in Computer Science Save $42
$137.99
$180.95
Graph-Theoretic Concepts in Computer Science
Paperback / softback
Available - Usually ships in 3-4 weeks
Logic, Rationality, and Interaction
$136.99
Logic, Rationality, and Interaction
Paperback / softback
Available - Usually ships in 3-4 weeks
Advances in Neural Networks – ISNN 2012 Save $26
$143.99
$170.95
Advances in Neural Networks – ISNN 2012
Paperback / softback
Available - Usually ships in 3-4 weeks
Distributed Computing Save $35
$141.99
$177.95
Distributed Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
Architecture of Computing Systems - ARCS 2010 Save $16
$134.99
$151.95
Architecture of Computing Systems - ARCS 2010
Paperback / softback
Available - Usually ships in 3-4 weeks
Foundations of Software Science and Computational Structures Save $28
$137.99
$166.95
Foundations of Software Science and Computational Structures
Paperback / softback
Available - Usually ships in 3-4 weeks
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
$136.99
Integration of AI and OR Techniques in Constraint Programming for...
Paperback / softback
Available - Usually ships in 3-4 weeks
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
$138.99
Integration of AI and OR Techniques in Constraint Programming for...
Paperback / softback
Available - Usually ships in 3-4 weeks
Graph-Theoretic Concepts in Computer Science
$139.99
Graph-Theoretic Concepts in Computer Science
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Aided Verification
$279.99
Computer Aided Verification
Paperback / softback
Available - Usually ships in 3-4 weeks
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications Save $45
$145.99
$191.95
Leveraging Applications of Formal Methods, Verification and...
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, in July 2015. The 21 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 30 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.
Release date Australia
December 17th, 2015
Audience
  • Professional & Vocational
Contributor
  • Edited by Moreno Falaschi
Edition
1st ed. 2015
Illustrations
88 Illustrations, color; XVII, 385 p. 88 illus. in color.
Pages
385
Dimensions
155x235x21
ISBN-13
9783319274355
Product ID
24159312

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
Books >
Computers & Internet >
Computer programming / software development >
Program concepts / learning to program