Search Results
Logic Based Program Synthesis And Transformation
Find "Logic Based Program Synthesis And Transformation" 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. Puebla
“Logic-Based Program Synthesis and Transformation” Metadata:
- Title: ➤ Logic-Based Program Synthesis and Transformation
- Author: Germ N. Puebla
- Publisher: Springer
- Publish Date: 2008
Edition Identifiers:
- The Open Library ID: OL30550388M
- All ISBNs: 9783540836476 - 3540836470
Access and General Info:
- First Year Published: 2008
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
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.
2Logic-based Program Synthesis and Transformation
By Andy King
“Logic-based Program Synthesis and Transformation” Metadata:
- Title: ➤ Logic-based Program Synthesis and Transformation
- Author: Andy King
- Publisher: Springer
- Publish Date: 2008
Edition Identifiers:
- The Open Library ID: OL28745871M
- All ISBNs: 3540871349 - 9783540871347
Access and General Info:
- First Year Published: 2008
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
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.
3Logic-Based Program Synthesis and Transformation
By Alicia Villanueva
“Logic-Based Program Synthesis and Transformation” Metadata:
- Title: ➤ Logic-Based Program Synthesis and Transformation
- Author: Alicia Villanueva
- Language: English
- Publisher: ➤ Springer International Publishing AG
- Publish Date: 2022
Edition Identifiers:
- The Open Library ID: OL39560733M
- All ISBNs: 303116766X - 9783031167669
Access and General Info:
- First Year Published: 2022
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Logic-Based Program Synthesis and Transformation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Logic-Based Program Synthesis and Transformation
By Maribel Fernández
“Logic-Based Program Synthesis and Transformation” Metadata:
- Title: ➤ Logic-Based Program Synthesis and Transformation
- Author: Maribel Fernández
- Language: English
- Publisher: ➤ Springer International Publishing AG
- Publish Date: 2021
Edition Identifiers:
- The Open Library ID: OL37322109M
- All ISBNs: 3030684458 - 9783030684457
Access and General Info:
- First Year Published: 2021
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Logic-Based Program Synthesis and Transformation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
5Logic-Based Program Synthesis and Transformation
By Juliana Bowles and Harald Søndergaard
“Logic-Based Program Synthesis and Transformation” Metadata:
- Title: ➤ Logic-Based Program Synthesis and Transformation
- Authors: Juliana BowlesHarald Søndergaard
- Language: English
- Publisher: Springer
- Publish Date: 2024
Edition Identifiers:
- The Open Library ID: OL53274624M
- All ISBNs: 9783031712937 - 3031712935
Access and General Info:
- First Year Published: 2024
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Logic-Based Program Synthesis and Transformation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
6Logic-Based Program Synthesis and Transformation
By Robert Glück and Bishoksan Kafle
“Logic-Based Program Synthesis and Transformation” Metadata:
- Title: ➤ Logic-Based Program Synthesis and Transformation
- Authors: Robert GlückBishoksan Kafle
- Language: English
- Publisher: Springer
- Publish Date: 2023
Edition Identifiers:
- The Open Library ID: OL49712376M
- All ISBNs: 3031457838 - 9783031457838
Access and General Info:
- First Year Published: 2023
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Logic-Based Program Synthesis and Transformation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
7Logic-Based Program Synthesis and Transformation
By Emanuele De Angelis and Wim Vanhoof
“Logic-Based Program Synthesis and Transformation” Metadata:
- Title: ➤ Logic-Based Program Synthesis and Transformation
- Authors: Emanuele De AngelisWim Vanhoof
- Language: English
- Publisher: ➤ Springer International Publishing AG
- Publish Date: 2022
“Logic-Based Program Synthesis and Transformation” Subjects and Themes:
- Subjects: Mathematics
Edition Identifiers:
- The Open Library ID: OL51580693M
- All ISBNs: 3030988686 - 9783030988685
Access and General Info:
- First Year Published: 2022
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Logic-Based Program Synthesis and Transformation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
8Logic-Based Program Synthesis and Transformation
By Danny De Schreye
“Logic-Based Program Synthesis and Transformation” Metadata:
- Title: ➤ Logic-Based Program Synthesis and Transformation
- Author: Danny De Schreye
- Language: English
- Number of Pages: Median: 215
- Publisher: ➤ Springer-Verlag Berlin Heidelberg - Springer
- 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 Identifiers:
- The Open Library ID: OL25564050M
- Library of Congress Control Number (LCCN): 2010924453
- All ISBNs: 3642125913 - 9783642125911 - 9783642125928 - 3642125921
Access and General Info:
- First Year Published: 2010
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
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.
9Logic-Based Program Synthesis and Transformation
By Pierre Flener
“Logic-Based Program Synthesis and Transformation” Metadata:
- Title: ➤ Logic-Based Program Synthesis and Transformation
- Author: Pierre Flener
- Language: English
- Publisher: Springer London, Limited
- Publish Date: 2003
Edition Identifiers:
- The Open Library ID: OL37150050M
- All ISBNs: 9783540489580 - 3540489584
Access and General Info:
- First Year Published: 2003
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Logic-Based Program Synthesis and Transformation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
10Logic based program synthesis and transformation
By International Workshop on Logic Program Synthesis and Transformation (11th 2001 Paphos, Cyprus)
“Logic based program synthesis and transformation” Metadata:
- Title: ➤ Logic based program synthesis and transformation
- Author: ➤ International Workshop on Logic Program Synthesis and Transformation (11th 2001 Paphos, Cyprus)
- Language: English
- Number of Pages: Median: 265
- Publisher: Springer
- Publish Date: 2002
- Publish Location: Berlin - New York
“Logic based program synthesis and transformation” Subjects and Themes:
- Subjects: Logic programming - Congresses
Edition Identifiers:
- The Open Library ID: OL17068195M
- Online Computer Library Center (OCLC) ID: 488343934
- Library of Congress Control Number (LCCN): 2002075872
- All ISBNs: 9783540439158 - 3540439153
Access and General Info:
- First Year Published: 2002
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
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.
11Logic-Based Program Synthesis and Transformation
By Fred Mesnard and Peter J. Stuckey
“Logic-Based Program Synthesis and Transformation” Metadata:
- Title: ➤ Logic-Based Program Synthesis and Transformation
- Authors: Fred MesnardPeter J. Stuckey
- Number of Pages: Median: 223
- Publisher: Springer
- Publish Date: 2019
Edition Identifiers:
- The Open Library ID: OL28312701M
- All ISBNs: 9783030138370 - 3030138372
Access and General Info:
- First Year Published: 2019
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
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.
12Logic-based program synthesis and transformation
By International Workshop on Logic-Based Program Synthesis and Transformation (8th 1998 Manchester, England)
“Logic-based program synthesis and transformation” Metadata:
- Title: ➤ Logic-based program synthesis and transformation
- Author: ➤ International Workshop on Logic-Based Program Synthesis and Transformation (8th 1998 Manchester, England)
- Language: English
- Number of Pages: Median: 330
- Publisher: Springer
- Publish Date: 1999
- Publish Location: New York - Berlin
“Logic-based program synthesis and transformation” Subjects and Themes:
- Subjects: ➤ Logic programming - Congresses - Logic, symbolic and mathematical - Computer science - Logic design - Artificial intelligence
Edition Identifiers:
- The Open Library ID: OL15463513M
- Online Computer Library Center (OCLC) ID: 40939966 - 504320159
- Library of Congress Control Number (LCCN): 99014668
- All ISBNs: 9783540657651 - 3540657657
Access and General Info:
- First Year Published: 1999
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
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.
13Logic-Based Program Synthesis and Transformation
By Maurizio Proietti and Hirohisa Seki
“Logic-Based Program Synthesis and Transformation” Metadata:
- Title: ➤ Logic-Based Program Synthesis and Transformation
- Authors: Maurizio ProiettiHirohisa Seki
- Language: English
- Number of Pages: Median: 333
- Publisher: ➤ Springer London, Limited - Springer International Publishing AG
- Publish Date: 2015
“Logic-Based Program Synthesis and Transformation” Subjects and Themes:
- Subjects: Logic programming
Edition Identifiers:
- The Open Library ID: OL34514891M - OL34520482M
- All ISBNs: 3319178210 - 3319178229 - 9783319178219 - 9783319178226
Access and General Info:
- First Year Published: 2015
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Logic-Based Program Synthesis and Transformation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
14Logic-Based Program Synthesis and Transformation
By Gopal Gupta and Ricardo Peña
“Logic-Based Program Synthesis and Transformation” Metadata:
- Title: ➤ Logic-Based Program Synthesis and Transformation
- Authors: Gopal GuptaRicardo Peña
- Language: English
- Number of Pages: Median: 237
- Publisher: ➤ Springer London, Limited - Springer International Publishing AG
- Publish Date: 2014 - 2015
“Logic-Based Program Synthesis and Transformation” Subjects and Themes:
- Subjects: Logic programming
Edition Identifiers:
- The Open Library ID: OL34520671M - OL34511087M
- All ISBNs: 9783319141251 - 9783319141244 - 3319141244 - 3319141252
Access and General Info:
- First Year Published: 2014
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Logic-Based Program Synthesis and Transformation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
15Logic-Based Program Synthesis and Transformation
By Elvira Albert
“Logic-Based Program Synthesis and Transformation” Metadata:
- Title: ➤ Logic-Based Program Synthesis and Transformation
- Author: Elvira Albert
- Language: English
- Number of Pages: Median: 255
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2013
“Logic-Based Program Synthesis and Transformation” Subjects and Themes:
- Subjects: ➤ Logic programming - Transformations (mathematics) - Artificial Intelligence (incl. Robotics) - Software engineering - Computer science - Logic design - Computational complexity - Artificial intelligence - Programming Techniques - Mathematical Logic and Formal Languages - Discrete Mathematics in Computer Science - Logics and Meanings of Programs
Edition Identifiers:
- The Open Library ID: OL27967285M - OL37228730M
- All ISBNs: 3642381979 - 9783642381966 - 3642381960 - 9783642381973
Access and General Info:
- First Year Published: 2013
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
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.
16Logic-Based Program Synthesis and Transformation
By Moreno Falaschi
“Logic-Based Program Synthesis and Transformation” Metadata:
- Title: ➤ Logic-Based Program Synthesis and Transformation
- Author: Moreno Falaschi
- Language: English
- Number of Pages: Median: 394
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2015
“Logic-Based Program Synthesis and Transformation” Subjects and Themes:
- Subjects: Logic programming
Edition Identifiers:
- The Open Library ID: OL28135554M - OL34529344M
- All ISBNs: 9783319274362 - 3319274368 - 9783319274355 - 331927435X
Access and General Info:
- First Year Published: 2015
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
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.
17Logic-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.
18Logic-Based Program Synthesis and Transformation
By María Alpuente
“Logic-Based Program Synthesis and Transformation” Metadata:
- Title: ➤ Logic-Based Program Synthesis and Transformation
- Author: María Alpuente
- Language: English
- Number of Pages: Median: 260
- Publisher: ➤ Springer - Springer Berlin Heidelberg
- Publish Date: 2011 - 2013
- Publish Location: Berlin, Heidelberg
“Logic-Based Program Synthesis and Transformation” Subjects and Themes:
- Subjects: ➤ Logic design - Software engineering - Algorithms - Computer science - Artificial intelligence - Logic programming - Logics and Meanings of Programs - Programming Techniques - Artificial Intelligence (incl. Robotics)
Edition Identifiers:
- The Open Library ID: OL30583580M - OL25547393M
- All ISBNs: ➤ 3642205518 - 364220550X - 9783642205521 - 3642205526 - 9783642205507 - 9783642205514
Access and General Info:
- First Year Published: 2011
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
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.
19Logic-Based Program Synthesis and Transformation
By Manuel V Hermenegildo and Pedro Lopez-Garcia
“Logic-Based Program Synthesis and Transformation” Metadata:
- Title: ➤ Logic-Based Program Synthesis and Transformation
- Authors: Manuel V HermenegildoPedro Lopez-Garcia
- Number of Pages: Median: 377
- Publisher: Springer
- Publish Date: 2017
“Logic-Based Program Synthesis and Transformation” Subjects and Themes:
- Subjects: ➤ Computer science - Computer programming - Software engineering - Programming languages (electronic computers) - Algorithms - Logic, symbolic and mathematical
Edition Identifiers:
- The Open Library ID: OL30096543M
- All ISBNs: 9783319631387 - 3319631381
Access and General Info:
- First Year Published: 2017
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
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.
20Logic-Based Program Synthesis and Transformation
By Maurizio Gabbrielli
“Logic-Based Program Synthesis and Transformation” Metadata:
- Title: ➤ Logic-Based Program Synthesis and Transformation
- Author: Maurizio Gabbrielli
- Number of Pages: Median: 277
- Publisher: Springer
- Publish Date: 2020
Edition Identifiers:
- The Open Library ID: OL28250796M
- All ISBNs: 9783030452599 - 303045259X
Access and General Info:
- First Year Published: 2020
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
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.
21Logic-based program synthesis and transformation
By LOPSTR 2006 (2006 Venice, Italy)
“Logic-based program synthesis and transformation” Metadata:
- Title: ➤ Logic-based program synthesis and transformation
- Author: ➤ LOPSTR 2006 (2006 Venice, Italy)
- Language: English
- Number of Pages: Median: 235
- Publisher: Springer
- Publish Date: 2007
- Publish Location: New York - Berlin
“Logic-based program synthesis and transformation” Subjects and Themes:
- Subjects: Logic programming - Congresses
Edition Identifiers:
- The Open Library ID: OL17917484M
- Online Computer Library Center (OCLC) ID: 122260342
- Library of Congress Control Number (LCCN): 2007922566
- All ISBNs: 9783540714095 - 354071409X
Access and General Info:
- First Year Published: 2007
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
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.
22Logic-Based Program Synthesis and Transformation
By Fabio Fioravanti and Gallagher, John P.
“Logic-Based Program Synthesis and Transformation” Metadata:
- Title: ➤ Logic-Based Program Synthesis and Transformation
- Authors: Fabio FioravantiGallagher, John P.
- Number of Pages: Median: 357
- Publisher: Springer
- Publish Date: 2018
“Logic-Based Program Synthesis and Transformation” Subjects and Themes:
- Subjects: Logic programming - Computer software, development
Edition Identifiers:
- The Open Library ID: OL28336614M
- All ISBNs: 3319944592 - 9783319944593
Access and General Info:
- First Year Published: 2018
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
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.
23Logic-Based Program Synthesis and Transformation
By Hutchison, David - undifferentiated
“Logic-Based Program Synthesis and Transformation” Metadata:
- Title: ➤ Logic-Based Program Synthesis and Transformation
- Author: ➤ Hutchison, David - undifferentiated
- Language: English
- Publisher: Springer Berlin Heidelberg
- Publish Date: 2009
- Publish Location: Berlin, Heidelberg
“Logic-Based Program Synthesis and Transformation” Subjects and Themes:
- Subjects: ➤ Logic design - Software engineering - Algorithms - Computer science - Artificial intelligence - Logic programming - Congresses
Edition Identifiers:
- The Open Library ID: OL25543018M
- Online Computer Library Center (OCLC) ID: 310400691
- Library of Congress Control Number (LCCN): 2009921732
- All ISBNs: 9783642005145 - 3642005144 - 3642005152 - 9783642005152
Access and General Info:
- First Year Published: 2009
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
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.
24Logic-Based Program Synthesis and Transformation
By Andy King
“Logic-Based Program Synthesis and Transformation” Metadata:
- Title: ➤ Logic-Based Program Synthesis and Transformation
- Author: Andy King
- Language: English
- Publisher: Springer London, Limited
- Publish Date: 2008
Edition Identifiers:
- The Open Library ID: OL37140770M
- All ISBNs: 3540787690 - 9783540787693
Access and General Info:
- First Year Published: 2008
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Logic-Based Program Synthesis and Transformation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
25Logic-based program synthesis and transformation
By LOPSTR 2007 (2007 Lyngby, Denmark)
“Logic-based program synthesis and transformation” Metadata:
- Title: ➤ Logic-based program synthesis and transformation
- Author: ➤ LOPSTR 2007 (2007 Lyngby, Denmark)
- Language: English
- Number of Pages: Median: 217
- Publisher: Springer
- Publish Date: 2008
- Publish Location: New York - Berlin
“Logic-based program synthesis and transformation” Subjects and Themes:
- Subjects: Logic programming - Congresses
Edition Identifiers:
- The Open Library ID: OL16863707M
- Online Computer Library Center (OCLC) ID: 227332851
- Library of Congress Control Number (LCCN): 2008922726
- All ISBNs: 9783540787686 - 3540787682
Access and General Info:
- First Year Published: 2008
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Logic-based program synthesis and transformation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
26Logic-based program synthesis and transformation
By International Workshop on Logic Program Synthesis and Transformation (9th 1999 Venice, Italy)
“Logic-based program synthesis and transformation” Metadata:
- Title: ➤ Logic-based program synthesis and transformation
- Author: ➤ International Workshop on Logic Program Synthesis and Transformation (9th 1999 Venice, Italy)
- Language: English
- Number of Pages: Median: 312
- Publisher: Springer
- Publish Date: 2000
- Publish Location: New York - Berlin
“Logic-based program synthesis and transformation” Subjects and Themes:
- Subjects: Logic programming - Congresses
Edition Identifiers:
- The Open Library ID: OL18140238M
- Library of Congress Control Number (LCCN): 00041921
- All ISBNs: 9783540676287 - 3540676287
Access and General Info:
- First Year Published: 2000
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Logic-based program synthesis and transformation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
27Logic based program synthesis and transformation
By LOPSTR 2003 (2003 Uppsala, Sweden)
“Logic based program synthesis and transformation” Metadata:
- Title: ➤ Logic based program synthesis and transformation
- Author: ➤ LOPSTR 2003 (2003 Uppsala, Sweden)
- Language: English
- Number of Pages: Median: 232
- Publisher: Springer
- Publish Date: 2004
- Publish Location: Berlin - New York
“Logic based program synthesis and transformation” Subjects and Themes:
- Subjects: Congresses - Logic programming
Edition Identifiers:
- The Open Library ID: OL3314942M
- Library of Congress Control Number (LCCN): 2004107503
- All ISBNs: 9783540221746 - 3540221743
Access and General Info:
- First Year Published: 2004
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Logic based program synthesis and transformation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
28Logic based program synthesis and transformation
By LOPSTR 2004 (2004 Verona, Italy)
“Logic based program synthesis and transformation” Metadata:
- Title: ➤ Logic based program synthesis and transformation
- Author: ➤ LOPSTR 2004 (2004 Verona, Italy)
- Language: English
- Number of Pages: Median: 277
- Publisher: Springer
- Publish Date: 2005
- Publish Location: New York - Berlin
“Logic based program synthesis and transformation” Subjects and Themes:
- Subjects: Logic programming - Congresses
Edition Identifiers:
- The Open Library ID: OL18228472M
- Online Computer Library Center (OCLC) ID: 61137875
- Library of Congress Control Number (LCCN): 2005927904
- All ISBNs: 3540266550 - 9783540266556
Access and General Info:
- First Year Published: 2005
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
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.
29Logic based program synthesis and transformation
By LOPSTR 2005 (2005 London, England)
“Logic based program synthesis and transformation” Metadata:
- Title: ➤ Logic based program synthesis and transformation
- Author: ➤ LOPSTR 2005 (2005 London, England)
- Language: English
- Number of Pages: Median: 178
- Publisher: Springer
- Publish Date: 2006
- Publish Location: Berlin - New York
“Logic based program synthesis and transformation” Subjects and Themes:
- Subjects: Logic programming - Congresses
Edition Identifiers:
- The Open Library ID: OL18007644M
- Online Computer Library Center (OCLC) ID: 67509049
- Library of Congress Control Number (LCCN): 2006921342
- All ISBNs: 3540326545 - 9783540326540
Access and General Info:
- First Year Published: 2006
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Logic based program synthesis and transformation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
30Logic based program synthesis and transformation
By LOPSTR 2003 (13th 2003 Uppsala, Sweden)
“Logic based program synthesis and transformation” Metadata:
- Title: ➤ Logic based program synthesis and transformation
- Author: ➤ LOPSTR 2003 (13th 2003 Uppsala, Sweden)
- Language: English
- Number of Pages: Median: 232
- Publisher: Springer
- Publish Date: 2004
- Publish Location: New York - Berlin
“Logic based program synthesis and transformation” Subjects and Themes:
- Subjects: Logic programming - Congresses - Logic design - Computer programs, design
Edition Identifiers:
- The Open Library ID: OL18214717M
- Online Computer Library Center (OCLC) ID: 55807916
- Library of Congress Control Number (LCCN): 2004107503
- All ISBNs: 9783540221746 - 3540221743
Access and General Info:
- First Year Published: 2004
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Marketplaces
Find Logic based program synthesis and transformation at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
31Logic Based Program Synthesis and Transformation
By Alberto Pettorossi
“Logic Based Program Synthesis and Transformation” Metadata:
- Title: ➤ Logic Based Program Synthesis and Transformation
- Author: Alberto Pettorossi
- Language: English
- Number of Pages: Median: 274
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2002 - 2003 - 2014
“Logic Based Program Synthesis and Transformation” Subjects and Themes:
- Subjects: Logic programming - Congresses
Edition Identifiers:
- The Open Library ID: OL37150147M - OL28040493M - OL9519555M
- All ISBNs: ➤ 9783540439158 - 3540439153 - 3540456074 - 9783662197417 - 9783540456070 - 3662197413
First Setence:
"Unlike imperative programming languages, pure functional languages are referentially transparent so that two occurrences of the same expression evaluate to the same value in the same environment."
Access and General Info:
- First Year Published: 2002
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
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.
32Logic based program synthesis and transformation
By LOPSTR 2000 (2000 London, England)
“Logic based program synthesis and transformation” Metadata:
- Title: ➤ Logic based program synthesis and transformation
- Author: ➤ LOPSTR 2000 (2000 London, England)
- Language: English
- Number of Pages: Median: 181
- Publisher: Springer
- Publish Date: 2001
- Publish Location: Berlin - New York
“Logic based program synthesis and transformation” Subjects and Themes:
- Subjects: Logic programming - Congresses
Edition Identifiers:
- The Open Library ID: OL21095243M - OL18159430M - OL22459130M
- Online Computer Library Center (OCLC) ID: 226279232
- Library of Congress Control Number (LCCN): 2001032234
- All ISBNs: 9783540421276 - 3540421270
Access and General Info:
- First Year Published: 2001
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Printdisabled
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.
33Logic-Based Program Synthesis and Transformation
By Annalisa Bossi
“Logic-Based Program Synthesis and Transformation” Metadata:
- Title: ➤ Logic-Based Program Synthesis and Transformation
- Author: Annalisa Bossi
- Language: English
- Number of Pages: Median: 313
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2000 - 2006
“Logic-Based Program Synthesis and Transformation” Subjects and Themes:
- Subjects: ➤ Mathematical Logic and Formal Languages - Programming Techniques - (incl. Robotics) - Artificial Intelligence - Logic design - Logics and Meanings of Programs - Computer science - Logic programming - Congresses
Edition Identifiers:
- The Open Library ID: OL37149377M - OL12810048M
- Online Computer Library Center (OCLC) ID: 44128106
- Library of Congress Control Number (LCCN): 00041921
- All ISBNs: 3540676287 - 354045148X - 9783540676287 - 9783540451488
First Setence:
"Algebraic specification aims to provide a formal basis to support the systematic development of correct programs from specifications by means of verified refinement steps."
Access and General Info:
- First Year Published: 2000
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
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.
34Logic Based Program Synthesis and Transformation
By M. Leuschel
“Logic Based Program Synthesis and Transformation” Metadata:
- Title: ➤ Logic Based Program Synthesis and Transformation
- Author: M. Leuschel
- Language: English
- Number of Pages: Median: 281
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2003
“Logic Based Program Synthesis and Transformation” Subjects and Themes:
- Subjects: Logic programming - Congresses
Edition Identifiers:
- The Open Library ID: OL12774400M - OL37111356M
- Online Computer Library Center (OCLC) ID: 52417970
- Library of Congress Control Number (LCCN): 2003054282
- All ISBNs: 9783540450139 - 3540450130 - 9783540404385 - 3540404384
Access and General Info:
- First Year Published: 2003
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
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.
35Logic Based Program Synthesis and Transformation
By Maurice Bruynooghe
“Logic Based Program Synthesis and Transformation” Metadata:
- Title: ➤ Logic Based Program Synthesis and Transformation
- Author: Maurice Bruynooghe
- Language: English
- Number of Pages: Median: 233
- Publisher: ➤ Springer London, Limited - Springer
- Publish Date: 2004
Edition Identifiers:
- The Open Library ID: OL37111590M - OL9054782M
- All ISBNs: 3540221743 - 3540259384 - 9783540259381 - 9783540221746
First Setence:
"Program specialisation aims at improving the overall performance of programs by performing source to source transformations."
Access and General Info:
- First Year Published: 2004
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
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.
36Logic-Based Program Synthesis and Transformation
By Germán Puebla
“Logic-Based Program Synthesis and Transformation” Metadata:
- Title: ➤ Logic-Based Program Synthesis and Transformation
- Author: Germán Puebla
- Language: English
- Number of Pages: Median: 237
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2007
“Logic-Based Program Synthesis and Transformation” Subjects and Themes:
- Subjects: Logic programming - Congresses
Edition Identifiers:
- The Open Library ID: OL37122072M - OL9063639M
- All ISBNs: 9783540714095 - 9783540714101 - 3540714103 - 354071409X
Access and General Info:
- First Year Published: 2007
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
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.
37Logic Based Program Synthesis and Transformation
By Sandro Etalle
“Logic Based Program Synthesis and Transformation” Metadata:
- Title: ➤ Logic Based Program Synthesis and Transformation
- Author: Sandro Etalle
- Language: English
- Number of Pages: Median: 279
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2005
“Logic Based Program Synthesis and Transformation” Subjects and Themes:
- Subjects: Logic programming - Congresses
Edition Identifiers:
- The Open Library ID: OL37121682M - OL9720923M
- All ISBNs: 3540266550 - 9783540266556 - 3540316833 - 9783540316831
First Setence:
"Program refactoring is the process of systematically changing the structure of a program without changing its semantics."
Access and General Info:
- First Year Published: 2005
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
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.
38Logic Based Program Synthesis and Transformation
15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers (Lecture Notes in Computer Science)
By Patricia M. Hill
“Logic Based Program Synthesis and Transformation” Metadata:
- Title: ➤ Logic Based Program Synthesis and Transformation
- Author: Patricia M. Hill
- Language: English
- Number of Pages: Median: 179
- Publisher: ➤ Springer - Springer London, Limited
- Publish Date: 2006
“Logic Based Program Synthesis and Transformation” Subjects and Themes:
- Subjects: Logic programming - Congresses
Edition Identifiers:
- The Open Library ID: OL37121765M - OL9677890M
- All ISBNs: 3540326545 - 9783540326540 - 9783540326564 - 3540326561
Access and General Info:
- First Year Published: 2006
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
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.
39Logic-Based Program Synthesis and Transformation
By Pierre Flener
“Logic-Based Program Synthesis and Transformation” Metadata:
- Title: ➤ Logic-Based Program Synthesis and Transformation
- Author: Pierre Flener
- Language: English
- Number of Pages: Median: 331
- Publisher: Springer
- Publish Date: 1999
“Logic-Based Program Synthesis and Transformation” Subjects and Themes:
- Subjects: Logic programming - Congresses
Edition Identifiers:
- The Open Library ID: OL9438418M
- Library of Congress Control Number (LCCN): 99014668
- All ISBNs: 9783540657651 - 3540657657
First Setence:
"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]."
Access and General Info:
- First Year Published: 1999
- Is Full Text Available: Yes
- Is The Book Public: Yes
- Access Status: Public
Online Access
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
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.