Skip to content
Free delivery across IndiaCash on delivery
BooksBajar
Cover of Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

18th International Symposium

by Hutchison, David - undifferentiated

Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 2009

₹3,253

Free delivery. Nothing extra to pay at checkout.

  • Delivery in 3–7 days to any serviceable pincode in India, with tracking.
  • Cash on delivery. Pay when the parcel reaches you.
  • 15-day returns. See what qualifies.

About this book

Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. K in 2009, Logic-Based Program Synthesis and Transformation: 18th International Symposium by David - undifferentiated Hutchison runs to 185 pages.

The book deals with Logic design, Software engineering, Algorithms and Computer science.

Book details

ISBN-13
9783642005145
ISBN-10
3642005144
Authors
Hutchison, David - undifferentiated
Published
2009
Edition
2009 ed.
Pages
185
Language
English
Condition
New
Subject
Algorithms
See all