Book Search Results
Logic Based Program Synthesis And Transformation by Germán Vidal
Find "Logic Based Program Synthesis And Transformation" by Germán Vidal through these Search Results from the best data sources on the web and enjoy your read!
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Logic-Based Program Synthesis and Transformation
By Germán Vidal
“Logic-Based Program Synthesis and Transformation” Metadata:
- Title: ➤ Logic-Based Program Synthesis and Transformation
- Author: Germán Vidal
- Language: English
- Publisher: ➤ Springer Berlin / Heidelberg - Imprint: Springer - Springer Berlin Heidelberg
- Publish Date: 2012
- Publish Location: Berlin, Heidelberg
“Logic-Based Program Synthesis and Transformation” Subjects and Themes:
- Subjects: ➤ Mathematical Logic and Formal Languages - Computational complexity - Discrete Mathematics in Computer Science - Software engineering - Programming Techniques - Logic design - Logics and Meanings of Programs - Computer science - Artificial intelligence - Artificial Intelligence (incl. Robotics) - Logic programming - Congresses - Program transformation (Computer programming)
Edition Identifiers:
- The Open Library ID: OL36200126M - OL27071608M
- Library of Congress Control Number (LCCN): 2012943721
- All ISBNs: 9783642322105 - 3642322115 - 3642322107 - 9783642322112
Access and General Info:
- First Year Published: 2012
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Logic-Based Program Synthesis and Transformation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
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.