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 29, 2018 | History

Logic-Based Program Synthesis and Transformation 1 edition

Cover of: Logic-Based Program Synthesis and Transformation | Danny De Schreye

No ebook available.


Prefer the physical book? Check nearby libraries powered by WorldCat


Buy this book


Links (leaves Open Library)

There is only 1 edition record, so we'll show it here...  •  Add edition?

Logic-Based Program Synthesis and Transformation
19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
edited by Danny Schreye

Published 2010 by Springer-Verlag Berlin Heidelberg in Berlin, Heidelberg .
Written in English.

Edition Notes

Series
Lecture Notes in Computer Science -- 6037

The Physical Object

Format
[electronic resource] :

ID Numbers

Open Library
OL25564050M
Internet Archive
logicbasedprogra00schr
ISBN 13
9783642125911, 9783642125928

History Created July 29, 2014 · 2 revisions Download catalog record: RDF / JSON

July 29, 2018 Edited by ImportBot import new book
July 29, 2014 Created by ImportBot import new book