Logic Based Program Synthesis and Transformation

14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers (Lecture Notes in Computer Science)

1 edition
Locate

My Reading Lists:

Create a new list



Buy this book

Last edited by ImportBot
July 28, 2014 | History

Logic Based Program Synthesis and Transformation

14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers (Lecture Notes in Computer Science)

1 edition

This work doesn't have a description yet. Can you add one?

Publish Date
Publisher
Springer
Language
English
Pages
279

Buy this book

Book Details


First Sentence

"Program refactoring is the process of systematically changing the structure of a program without changing its semantics."

The Physical Object

Format
Paperback
Number of pages
279
Dimensions
9 x 6.1 x 0.7 inches
Weight
15.2 ounces

Edition Identifiers

Open Library
OL9720923M
ISBN 10
3540266550
ISBN 13
9783540266556
Goodreads
7238748

Work Identifiers

Work ID
OL9260355W

Source records

Internet Archive item record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

History

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