Patricia M Hill
Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers - Theoretical Computer Science and General Issues Patricia M Hill 2006 edition

Name: Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers - Theoretical Computer Science and General Issues
Price: 65.99 USD
Availability: OutOfStock
Author: Patricia M Hill

Price

$ 65.99

excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 2 - 14

Our customers say:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14-day return policy in accordance with European consumer protection law

Top ranking on Trustpilot

Add to your iMusic wish list

Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers - Theoretical Computer Science and General Issues

Patricia M Hill

2006 edition

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 papers are organized in topical sections on tools for program development, program transformations, and software development and program analysis.

182 pages, biography

Media	Books Paperback Book (Book with soft cover and glued back)
Released	March 23, 2006
ISBN13	9783540326540
Publishers	Springer-Verlag Berlin and Heidelberg Gm
Pages	182
Dimensions	155 × 235 × 10 mm · 281 g
Language	French
Editor	Hill, Patricia M.