null Skip to main content

✨ Buy more, save 5% Ends

Logic-Based Program Synthesis and Transformation: 23rd International Symposium, Lopstr 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Pa

Logic-Based Program Synthesis and Transformation: 23rd International Symposium, Lopstr 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Pa

Gopal Gupta

$60.32
(No reviews yet) Write a Review
Physical book delivery

Shipping calculated at checkout.

Estimated delivery
Adding to cart… The item has been added
Product Details
Author:
Gopal Gupta
Publisher:
Springer
Publication Date:
Dec 22, 2014
Number of pages:
237 pages
Binding:
Paperback or Softback
ISBN-10:
3319141244
ISBN-13:
9783319141244

Overview

Logic-Based Program Synthesis and Transformation: 23rd International Symposium, Lopstr 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Pa


  • | Author: Gopal Gupta
  • | Publisher: Springer
  • | Publication Date: Dec 22, 2014
  • | Number of Pages: 237 pages
  • | Binding: Paperback or Softback
  • | ISBN-10: 3319141244
  • | ISBN-13: 9783319141244

Reviews

0 Reviews

Write a Review

No reviews yet.

Share your experience and help another reader choose their next book.

!

Discover your next great book

Get new releases, reader favourites, and special offers delivered to your inbox.