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

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Mathematical foundations  
Mathematical logic

Logic-Based Program Synthesis and Transformation

22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$191.00
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
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $47.75 with Afterpay Learn more

6 weekly interest-free payments of $31.83 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 27 Jun - 9 Jul using International Courier

Explore more Theoretical Computer Science and General Issues

See all products in this series

Euro-Par 2019: Parallel Processing Workshops
$289.00
Euro-Par 2019: Parallel Processing Workshops
Paperback / softback
Available - Usually ships in 3-4 weeks
Modular Ontologies
$152.00
Modular Ontologies
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Science and Its Applications - ICCSA 2007
$471.00
Computational Science and Its Applications - ICCSA 2007
Paperback / softback
Available - Usually ships in 3-4 weeks
Algorithms and Architectures for Parallel Processing
$307.00
Algorithms and Architectures for Parallel Processing
Paperback / softback
Available - Usually ships in 3-4 weeks
Euro-Par 2013: Parallel Processing Workshops
$308.00
Euro-Par 2013: Parallel Processing Workshops
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Science -- ICCS 2005
$314.00
Computational Science -- ICCS 2005
Paperback / softback
Available - Usually ships in 3-4 weeks
Reachability Problems
$150.00
Reachability Problems
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Algebra in Scientific Computing
$263.00
Computer Algebra in Scientific Computing
Paperback / softback
Available - Usually ships in 3-4 weeks
String Processing and Information Retrieval
$152.00
String Processing and Information Retrieval
Paperback / softback
Available - Usually ships in 3-4 weeks
Implementation and Application of Functional Languages
$191.00
Implementation and Application of Functional Languages
Paperback / softback
Available - Usually ships in 3-4 weeks
Neural Information Processing
$263.00
Neural Information Processing
Paperback / softback
Available - Usually ships in 3-4 weeks
Integer Programming and Combinatorial Optimization
$152.00
Integer Programming and Combinatorial Optimization
Paperback / softback
Available - Usually ships in 3-4 weeks
Typed Lambda Calculi and Applications
$148.00
Typed Lambda Calculi and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Logistics
$191.00
Computational Logistics
Paperback / softback
Available - Usually ships in 3-4 weeks
Descriptional Complexity of Formal Systems
$150.00
Descriptional Complexity of Formal Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Mathematical Foundations of Computer Science 2007
$303.00
Mathematical Foundations of Computer Science 2007
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

This book constitutes the thoroughly refereed post-conference proceedings of the 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012, held in Leuven, Belgium in September 2012. The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 27 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, applications and tools, program/model manipulation, and transformation techniques for any programming language paradigm.
Release date NZ
May 3rd, 2013
Audience
  • Professional & Vocational
Contributor
  • Edited by Elvira Albert
Illustrations
36 Illustrations, black and white; X, 245 p. 36 illus.
Pages
245
Dimensions
156x234x13
ISBN-13
9783642381966
Product ID
21356216

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 >
Non-Fiction >
Maths & Science >
Mathematics >
Mathematical foundations >
Mathematical logic
Books >
Computers & Internet >
Computer Applications >
Artificial intelligence
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Discrete mathematics
Books >
Computers & Internet >
Computer programming / software development
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation >
Maths for computer scientists
Books >
Computers & Internet >
Computer science >
Artificial intelligence