• usp_easy_retunsFree & Easy Returns
  • usp_best_dealsBest Deals
placeholder
Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers
magnifyZoom

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

265.00
nudge icon
Free Delivery
nudge icon
Free Delivery

Payment discount

Product Overview

Specifications

ISBN 139783540326540
AuthorPatricia M. Hill
Book DescriptionThis 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.
Number of Pages196 pages
ISBN 103540326545
LanguageEnglish
Publication Date23 March 2006
Cart Total  265.00
placeholder
Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers
Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers
265.00
265
0

We're Always Here To Help

Reach out to us through any of these support channels

Shop On The Go

App StoreGoogle PlayHuawei App Gallery

Connect With Us

mastercardvisatabbytamaraamexcod