Print this page
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)

  • $60.09
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

$15.55off

The Art of Agile Development

James Shore, Diana L...

Paperback
Published 26 Oct 2021

Save $15.55

  • RRP $67.71
  • $52.16
Add to basket

$3.28off

Data Analysis With Python and Pyspark

Jonathan Rioux

Paperback
Published 16 Mar 2022

Save $3.28

  • RRP $58.00
  • $54.72
Add to basket

$6.32off

The Pragmatic Programmer

David Thomas, Andrew...

Hardback
Published 02 Dec 2019

Save $6.32

  • RRP $48.55
  • $42.23
Add to basket

$9.61off

The Programmer's Brain

Felienne Hermans

Paperback
Published 15 Dec 2021

Save $9.61

  • RRP $51.10
  • $41.49
Add to basket

$6.90off

Clean Code

Robert C. Martin

Paperback
Published 21 Aug 2008

Save $6.90

  • RRP $49.82
  • $42.92
Add to basket

$3.48off

Clean Architecture

Robert C. Martin

Paperback
Published 20 Sep 2017

Save $3.48

  • RRP $35.77
  • $32.29
Add to basket

$16.75off

Clean Code Cookbook

Maximiliano Contieri

Paperback
Published 29 Sep 2023

Save $16.75

  • RRP $67.71
  • $50.96
Add to basket

$7.49off

Embedded Software System Testing

Yongfeng Yin (author...

Hardback
Published 06 Sep 2023

Save $7.49

  • RRP $99.66
  • $92.17
Add to basket

$3.93off

Raspberry Pi OS System Administration With Systemd

Robert Koretsky

Paperback
Published 22 Nov 2023

Save $3.93

  • RRP $57.49
  • $53.56
Add to basket