Click here to skip to this page's main content.

New Feature: You can now embed Open Library books on your website!   Learn More
Last edited by ImportBot
July 28, 2014 | History

Logic Based Program Synthesis and Transformation 1 edition

Cover of: Logic Based Program Synthesis and Transformation | Alberto Pettorossi

No ebook available.


Prefer the physical book? Check nearby libraries powered by WorldCat


Buy this book

Amazon
Better World Books $28.98 (used)

D'oh. There's no description for this book yet. Can you help?
There is only 1 edition record, so we'll show it here...  •  Add edition?

Logic Based Program Synthesis and Transformation
11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001. Selected Papers (Lecture Notes in Computer Science)
1 edition

Published August 15, 2002 by Springer .
Written in English.

First Sentence

Unlike imperative programming languages, pure functional languages are referentially transparent so that two occurrences of the same expression evaluate to the same value in the same environment.

The Physical Object

Format
Paperback
Number of pages
267
Dimensions
9.1 x 6.1 x 0.7 inches
Weight
1 pounds

ID Numbers

Open Library
OL9519555M
Internet Archive
logicbasedprogra2001pett
ISBN 10
3540439153
ISBN 13
9783540439158
Goodreads
1151982

History Created December 11, 2009 · 3 revisions Download catalog record: RDF / JSON

July 28, 2014 Edited by ImportBot import new book
April 28, 2010 Edited by Open Library Bot Linked existing covers to the work.
December 11, 2009 Created by WorkBot add works page