Get Free Shipping on orders over $0
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

Python All-in-One For Dummies : 3rd Edition - John C. Shovic

RRP $74.95

$52.47

30%
OFF
The C Programming Language : Prentice Hall Software - Brian Kernighan

RRP $107.04

$75.75

29%
OFF
Starting Out with Python : 5th Global Edition - Tony Gaddis

RRP $138.95

$108.75

22%
OFF
The Practical Guide - Kerem Koseoglu

$97.75

Web Engineering : Theory and Practice - Jeremiah Downey
The Essence of Software Engineering - Cersei Page
Introduction to Programming Languages - Gordon Hurley
Typesetting Mathematics With Latex - Robert Legato
Practical Probabilistic Programming - Stefan Nordin
Practical Probabilistic Programming - Stefan Nordin
Building Microservices : Designing Fine-Grained Systems 2nd Edition - Sam Newman
C# 12 in a Nutshell : The Definitive Reference - Joseph Albahari

RRP $133.00

$64.75

51%
OFF