Get Free Shipping on orders over $79
Logic Based Program Synthesis and Transformation : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers - Patricia M. Hill
eTextbook alternate format product

Instant online reading.
Don't wait for delivery!

Logic Based Program Synthesis and Transformation

15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers

By: Patricia M. Hill (Editor)

Paperback | 23 March 2006

At a Glance

Paperback


$84.99

or 4 interest-free payments of $21.25 with

 or 

Ships in 5 to 7 business days

This book constitutes the thoroughly refereed post-proceedings of the 15th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 2005, held in September 2005. The 10 revised full papers presented together with one invited talk were carefully selected and revised from 33 submissions. The papers are organized in topical sections on tools for program development, program transformations, and software development and program analysis.

More in Computer Programming & Software Development

The C Programming Language : Prentice Hall Software - Brian Kernighan

RRP $107.04

$75.75

29%
OFF
Addiction by Design : Machine Gambling in Las Vegas - Natasha Dow Schull
Machine Learning For Dummies : For Dummies (Computer/Tech) - Luca Massaron
Arduino For Dummies : For Dummies (Computer/Tech) - John Nussey
Coding For Kids For Dummies : For Kids for Dummies - Camille McCue
Python All-in-One For Dummies : 3rd Edition - Alan Simpson

RRP $74.95

$55.75

26%
OFF
C# 12 in a Nutshell : The Definitive Reference - Joseph Albahari

RRP $133.00

$64.75

51%
OFF
Web Engineering : Theory and Practice - Jeremiah Downey
The Essence of Software Engineering - Cersei Page