Logic-Based Program Synthesis and Transformation Theoretical Computer Science and General Issues

Logic-Based Program Synthesis and Transformation Theoretical Computer Science and General Issues 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers - Lecture Notes in Computer Science

2008 edition

Paperback (18 Mar 2008)

Save $2.10

  • RRP $58.68
  • $56.58
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Check stock

Publisher's Synopsis

This postproceedings volume of the 17th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2007, examines program termination, program transformation, constraint solving and analysis as well as software engineering.

Book information

ISBN: 9783540787686
Publisher: Springer Berlin Heidelberg
Imprint: Springer
Pub date:
Edition: 2008 edition
Language: English
Number of pages: 222
Weight: 365g
Height: 234mm
Width: 156mm
Spine width: 12mm

We recommend

$14.05off

The Art of Agile Development

James Shore, Diana L...

Paperback
Published 26 Oct 2021

Save $14.05

  • RRP $69.11
  • $55.06
Add to basket

$3.56off

Data Analysis With Python and Pyspark

Jonathan Rioux

Paperback
Published 16 Mar 2022

Save $3.56

  • RRP $59.20
  • $55.64
Add to basket

$0.54off

The Pragmatic Programmer

Andrew Hunt, David T...

Hardback
Published 02 Dec 2019

Save $0.54

  • RRP $52.16
  • $51.62
Add to basket

$9.82off

The Programmer's Brain

Felienne Hermans

Paperback
Published 15 Dec 2021

Save $9.82

  • RRP $52.16
  • $42.34
Add to basket

$1.46off

Clean Code

Robert C. Martin

Paperback
Published 21 Aug 2008

Save $1.46

  • RRP $56.07
  • $54.61
Add to basket
Clean Architecture

Robert C. Martin

Paperback
Published 20 Sep 2017

  • $40.57
Add to basket

$15.18off

Clean Code Cookbook

Maximiliano Contieri

Paperback
Published 29 Sep 2023

Save $15.18

  • RRP $69.11
  • $53.93
Add to basket

$7.55off

Embedded Software System Testing

Yongfeng Yin (author...

Hardback
Published 06 Sep 2023

Save $7.55

  • RRP $101.72
  • $94.17
Add to basket

$4.01off

Raspberry Pi OS System Administration With Systemd

Robert Koretsky

Paperback
Published 22 Nov 2023

Save $4.01

  • RRP $58.68
  • $54.67
Add to basket