Logic-Based Program Synthesis and Transformation - Info and Reading Options
8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers (Lecture Notes in Computer Science)
By Pierre Flener
"Logic-Based Program Synthesis and Transformation" is published by Springer in April 28, 1999, it has 331 pages and the language of the book is English.
“Logic-Based Program Synthesis and Transformation” Metadata:
- Title: ➤ Logic-Based Program Synthesis and Transformation
- Author: Pierre Flener
- Language: English
- Number of Pages: 331
- Publisher: Springer
- Publish Date: April 28, 1999
“Logic-Based Program Synthesis and Transformation” Subjects and Themes:
- Subjects: Logic programming - Congresses
Edition Specifications:
- Format: Paperback
- Weight: 1 pounds
- Dimensions: 9.2 x 6.1 x 0.7 inches
Edition Identifiers:
- The Open Library ID: OL9438418M - OL3491848W
- Library of Congress Control Number (LCCN): 99014668
- ISBN-13: 9783540657651
- ISBN-10: 3540657657
- All ISBNs: 3540657657 - 9783540657651
AI-generated Review of “Logic-Based Program Synthesis and Transformation”:
Snippets and Summary:
Specifications state properties or constraints that a software system must satisfy to solve a problem [IEEE 91], describe the interface between the problem domain and the software system [Jackson 95], and define the purpose of the software system and its correct use [Le Charlier & Flener 98].
"Logic-Based Program Synthesis and Transformation" Description:
The Open Library:
<br />Author: <br /> Published by <br /> ISBN: <br /> DOI: <br /><br />Table of Contents:<p></p>
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: full
- 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.
- Ebay: New and used books.