Logic-Based Program Synthesis and Transformation
19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
By Danny De Schreye
"Logic-Based Program Synthesis and Transformation" was published by Springer-Verlag Berlin Heidelberg in 2010 - Berlin, Heidelberg, it has 215 pages and the language of the book is English.
“Logic-Based Program Synthesis and Transformation” Metadata:
- Title: ➤ Logic-Based Program Synthesis and Transformation
- Author: Danny De Schreye
- Language: English
- Number of Pages: 215
- Publisher: ➤ Springer-Verlag Berlin Heidelberg
- Publish Date: 2010
- Publish Location: Berlin, Heidelberg
“Logic-Based Program Synthesis and Transformation” Subjects and Themes:
- Subjects: ➤ Logic design - Software engineering - Computer science - Artificial intelligence - Informatique - Programmtransformation - Logic programming - Congresses - Logische Programmierung - Logic - Beweistheorie - Programmierlogik - Programmsynthese - Software
Edition Specifications:
- Format: [electronic resource] :
Edition Identifiers:
- The Open Library ID: OL25564050M - OL16980455W
- Library of Congress Control Number (LCCN): 2010924453
- ISBN-13: 9783642125911 - 9783642125928
- All ISBNs: 9783642125911 - 9783642125928
AI-generated Review of “Logic-Based Program Synthesis and Transformation”:
Read “Logic-Based Program Synthesis and Transformation”:
Read “Logic-Based Program Synthesis and Transformation” by choosing from the options below.
Search for “Logic-Based Program Synthesis and Transformation” downloads:
Visit our Downloads Search page to see if downloads are available.
Borrow "Logic-Based Program Synthesis and Transformation" Online:
Check on the availability of online borrowing. Please note that online borrowing has copyright-based limitations and that the quality of ebooks may vary.
- Is Online Borrowing Available: Yes
- Preview Status: restricted
- Check if available: The Open Library & The Internet Archive
Find “Logic-Based Program Synthesis and Transformation” in Libraries Near You:
Read or borrow “Logic-Based Program Synthesis and Transformation” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Logic-Based Program Synthesis and Transformation” at a library near you.
Buy “Logic-Based Program Synthesis and Transformation” online:
Shop for “Logic-Based Program Synthesis and Transformation” on popular online marketplaces.