Logic Based Program Synthesis and Transformation

15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, 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

15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, 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
179

Buy this book

Book Details


The Physical Object

Format
Paperback
Number of pages
179
Dimensions
8.9 x 6.1 x 0.5 inches
Weight
10.4 ounces

Edition Identifiers

Open Library
OL9677890M
ISBN 10
3540326545
ISBN 13
9783540326540

Work Identifiers

Work ID
OL6687413W

Source records

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.
March 10, 2010 Edited by WorkBot update details
November 11, 2009 Created by ImportBot add works page