Delivery included to the United States

Logic Based Program Synthesis and Transformation

Logic Based Program Synthesis and Transformation 10th International Workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : Selected Papers - Lecture Notes in Computer Science

2001

Paperback (01 May 2001)

Save $8.17

  • RRP $62.44
  • $54.27
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Publisher's Synopsis

The ten papers presented in this volume have gone through two rounds of reviewing, selection and revision. The book is divided in topical sections on synthesis, transformation, analysis, specialization, and abstract interpretation.

Book information

ISBN: 9783540421276
Publisher: Springer Berlin Heidelberg
Imprint: Springer
Pub date:
Edition: 2001
DEWEY: 005.115
DEWEY edition: 23
Language: English
Number of pages: 181
Weight: 306g
Height: 234mm
Width: 156mm
Spine width: 10mm