Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers (Lecture Notes in Computer Science) - Taschenbuch
1998, ISBN: 9783540657651
T. Graham. Used - Good. Ships from UK in 48 hours or less (usually same day). Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so … Mehr…
gbr, usa | Biblio.co.uk |
Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers (Lecture Notes in Computer Science) - Taschenbuch
2008, ISBN: 3540657657
Taschenbuch 348 Seiten Taschenbuch Gepflegtes ehemaliges Bibliotheksexemplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer); in der Regel foliiert (Umschlag … Mehr…
Achtung-Buecher.de |
Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers (Lecture Notes in Computer Science) - Taschenbuch
2008, ISBN: 3540657657
Taschenbuch 348 Seiten Taschenbuch Gepflegtes ehemaliges Bibliotheksexemplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer); in der Regel foliiert (Umschlag … Mehr…
Achtung-Buecher.de |
Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers (Lecture Notes in Computer Science, 1559, Band 1559) - Taschenbuch
2008, ISBN: 9783540657651
Springer, Taschenbuch, Auflage: 1999, 348 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, 0.49 kg, Informatik, IT-Ausbildung & -Berufe, Computer & Internet, Kategorien, Büc… Mehr…
Amazon.de (Intern... g.e.t.b.o.o.k.s Gut Versandkosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers (Lecture Notes in Computer Science, 1559, Band 1559) - Taschenbuch
2008, ISBN: 9783540657651
Springer, Taschenbuch, Auflage: 1999, 348 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, 0.49 kg, Informatik, IT-Ausbildung & -Berufe, Computer & Internet, Kategorien, Büc… Mehr…
Amazon.de (Intern... Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) Details... |
Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers (Lecture Notes in Computer Science) - Taschenbuch
1998, ISBN: 9783540657651
T. Graham. Used - Good. Ships from UK in 48 hours or less (usually same day). Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so … Mehr…
Flener, Pierre:
Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers (Lecture Notes in Computer Science) - Taschenbuch2008, ISBN: 3540657657
Taschenbuch 348 Seiten Taschenbuch Gepflegtes ehemaliges Bibliotheksexemplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer); in der Regel foliiert (Umschlag … Mehr…
Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers (Lecture Notes in Computer Science) - Taschenbuch
2008
ISBN: 3540657657
Taschenbuch 348 Seiten Taschenbuch Gepflegtes ehemaliges Bibliotheksexemplar mit den üblichen Kennzeichnungen (z.B. Barcode und Inventarisierungsnummer); in der Regel foliiert (Umschlag … Mehr…
Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers (Lecture Notes in Computer Science, 1559, Band 1559) - Taschenbuch
2008, ISBN: 9783540657651
Springer, Taschenbuch, Auflage: 1999, 348 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, 0.49 kg, Informatik, IT-Ausbildung & -Berufe, Computer & Internet, Kategorien, Büc… Mehr…
Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers (Lecture Notes in Computer Science, 1559, Band 1559) - Taschenbuch
2008, ISBN: 9783540657651
Springer, Taschenbuch, Auflage: 1999, 348 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, 0.49 kg, Informatik, IT-Ausbildung & -Berufe, Computer & Internet, Kategorien, Büc… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers (Lecture Notes in Computer Science, 1559, Band 1559)
EAN (ISBN-13): 9783540657651
ISBN (ISBN-10): 3540657657
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1999
Herausgeber: Springer
348 Seiten
Gewicht: 0,526 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2008-04-26T19:16:21+02:00 (Vienna)
Detailseite zuletzt geändert am 2024-01-06T16:21:58+01:00 (Vienna)
ISBN/EAN: 9783540657651
ISBN - alternative Schreibweisen:
3-540-65765-7, 978-3-540-65765-1
Alternative Schreibweisen und verwandte Suchbegriffe:
Titel des Buches: based paper, science and synthesis, manchester, logic computer science, transformation, notes the synthesis, lecture notes computer science, international
Daten vom Verlag:
Autor/in: Pierre Flener
Titel: Lecture Notes in Computer Science; Logic-Based Program Synthesis and Transformation - 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers
Verlag: Springer; Springer Berlin
338 Seiten
Erscheinungsjahr: 1999-03-24
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
X, 338 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Automated Program Development; Logic Programming; Program Synthesis; Program Transformation; Programming Logic; logic; programming; Software Engineering; Computer System Implementation; Theory of Computation; Computer Science Logic and Foundations of Programming; Programming Techniques; Artificial Intelligence; Systemanalyse und -design; Theoretische Informatik; Computerprogrammierung und Softwareentwicklung; Künstliche Intelligenz; EA
Attempto Controlled English — Not Just Another Logic Specification Language.- A Step Towards a Methodology for Mercury Program Construction: A Declarative Semantics for Mercury.- Pragmatics in the Synthesis of Logic Programs.- Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems.- Synthesis of Programs in Abstract Data Types.- OOD Frameworks in Component-Based Software - Development in Computational Logic.- The Use of Renaming in Composing General Programs.- Inductive Synthesis of Logic Programs by Composition of Combinatory Program Schemes.- Specialising Logic Programs with Respect to Call/Post Specifications.- Generalization in Hierarchies of Online Program Specialization Systems.- Improving Homeomorphic Embedding for Online Termination.- Successes in Logic Programs.- Inferring and Compiling Termination for Constraint Logic Programs.- Strictness Analysis as Finite-Domain Constraint Solving.- Invariant Discovery via Failed Proof Attempts.- Preventing Instantiation Errors and Loops for Logic Programs with Multiple Modes Using block Declarations.- Algorithms for Synthesizing Reactive Systems: A Perspective.- Schema-Guided Synthesis of CLP Programs.- Abstract: Proof Planning with Program Schemas.- Logical Synthesis of Imperative O.O. Programs.- Mathematical Foundations for Program Transformations.- An Exhaustive-Search Method Using Layered Streams Obtained Through a Meta-Interpreter for Chain Programs.- Bottom-Up Specialisation of Logic Programs.- Myrtle: A Set-Oriented Meta-Interpreter Driven by a “Relational” Trace for Deductive Databases Debugging.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783030452599 Logic-Based Program Synthesis and Transformation (Maurizio Gabbrielli)
- 9783030452599 Logic-Based Program Synthesis and Transformation (Maurizio Gabbrielli)
- 9783030138370 Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised ... (Lecture Notes in Computer Science, 11408) (Fred Mesnard; Peter J. Stuckey)
- 9783030138387 Logic-Based Program Synthesis and Transformation (Fred Mesnard; Peter J. Stuckey)
< zum Archiv...