Cart
Sign In

Sorry! Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers is sold out.

Compare Products
Clear All
Let's Compare!

Logic-Based Program Synthesis and Transformation: 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers

This product has been sold out

pay
Rs  2,549
We will let you know when in stock
notify me

Featured

Highlights

  • ISBN13:9783540714095
  • ISBN10:354071409X
  • Publisher:Springer
  • Language:English
  • Binding:Paperback
  • Pages:235
  • SUPC: SDL628270216

Other Specifications

Other Details
Country of Origin or Manufacture or Assembly India
Common or Generic Name of the commodity Software Design Books
Manufacturer's Name & Address
Packer's Name & Address
Marketer's Name & Address
Importer's Name & Address

Description

Contains sections on tools for program development, partial evaluation and program transformation, security and synthesis, debugging and testing, as well as termination and analysis.

Terms & Conditions

The images represent actual product though color of the image and product may slightly differ.

Seller Details

View Store


New Seller
Expand your business to millions of customers