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
March 28, 2025 | 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 edition 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 / OPDS | Wikipedia citation
March 28, 2025 Edited by ImportBot Redacting ocaids
July 28, 2014 Edited by ImportBot import new book
April 6, 2014 Edited by ImportBot Added IA ID.
April 24, 2010 Edited by Open Library Bot Fixed duplicate goodreads IDs.
April 30, 2008 Created by an anonymous user Imported from amazon.com record