Computers & Internet Books:

Logic-Based Program Synthesis and Transformation

23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

Customer rating

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Share this product

Logic-Based Program Synthesis and Transformation
$91.99 was $156.99 save $65.00
or 4 payments of $23.00 with Learn more
In stock with supplier

The item is brand new and in-stock in with one of our preferred suppliers. The item will ship from the Mighty Ape warehouse within the timeframe shown below.

Usually ships within 2-3 weeks

Availability

Delivering to:

Estimated arrival:

  • Around 13-17 August using Express Delivery
    Mighty Ape can deliver this product within 1-2 business days (usually overnight) to urban centres across Australia, and some remote areas. Learn more
  • Around 14-21 August using standard courier delivery

Description

This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2013, held in Madrid, Spain, in September 2013. The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 submissions during two rounds of reviewing and improvement. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.
Release date Australia
December 11th, 2014
Contributors
Edited by Gopal Gupta Edited by Ricardo Pena
Country of Publication
Switzerland
Edition
2014 ed.
Illustrations
51 Illustrations, black and white; XII, 237 p. 51 illus.
Imprint
Springer International Publishing AG
Pages
237
Dimensions
155x235x13
ISBN-13
9783319141244
Product ID
23705770

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

Help & options

  • If you think we've made a mistake or omitted details, please send us your feedback. Send Feedback
  • If you have a question or problem with this product, visit our Help section. Get Help
  • Seen a lower price for this product elsewhere? We'll do our best to beat it. Request a better price
Filed under...