- 5 Ergebnisse
Kleinster Preis: € 21,32, größter Preis: € 62,28, Mittelwert: € 52,28
1
Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers - Seki, Hirohisa (Herausgeber); Proietti, Maurizio (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 55,60
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Seki, Hirohisa (Herausgeber); Proietti, Maurizio (Herausgeber):

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers - neues Buch

2015, ISBN: 3319178210

2015 Kartoniert / Broschiert EDV / Theorie / Informatik / Mathematik, EDV / Theorie / Software-Entw. / Software Engineering, Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelli… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
2
Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers - Seki, Hirohisa (Herausgeber); Proietti, Maurizio (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 62,28
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Seki, Hirohisa (Herausgeber); Proietti, Maurizio (Herausgeber):

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers - neues Buch

2015, ISBN: 3319178210

2015 Kartoniert / Broschiert EDV / Theorie / Informatik / Mathematik, EDV / Theorie / Software-Entw. / Software Engineering, Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelli… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
3
Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers - Seki, Hirohisa (Herausgeber); Proietti, Maurizio (Herausgeber)
Bestellen
bei Achtung-Buecher.de
€ 62,28
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Seki, Hirohisa (Herausgeber); Proietti, Maurizio (Herausgeber):
Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers - neues Buch

2015

ISBN: 3319178210

2015 Kartoniert / Broschiert EDV / Theorie / Informatik / Mathematik, EDV / Theorie / Software-Entw. / Software Engineering, Intelligenz / Künstliche Intelligenz, KI, Künstliche Intelli… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
zuklappen (X)
4
Logic-Based Program Synthesis and Transformation
Bestellen
bei Hugendubel.de
€ 21,32
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Logic-Based Program Synthesis and Transformation - Taschenbuch

2015, ISBN: 3319178210

Logic-Based Program Synthesis and Transformation ab 21.32 € als Taschenbuch: 24th International Symposium LOPSTR 2014 Canterbury UK September 9-11 2014. Revised Selected Papers. Auflage 2… Mehr…

Nr. 23816887. Versandkosten:, , DE. (EUR 0.00)
zuklappen (X)
5
Logic-Based Program Synthesis and Transformation - Maurizio Proietti; Hirohisa Seki
Bestellen
bei lehmanns.de
€ 59,92
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Maurizio Proietti; Hirohisa Seki:
Logic-Based Program Synthesis and Transformation - Taschenbuch

2015, ISBN: 9783319178219

24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers, Buch, Softcover, 2015, [PU: Springer International Publishing], Springer Internat… Mehr…

Versandkosten:sofort lieferbar. (EUR 0.00)
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Logic-Based Program Synthesis and Transformation
Autor:
Titel:
ISBN-Nummer:

9783319178219


This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2014, held in Canterbury, UK, in September 2014. The 18 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. The papers are organized along a set of thematic tracks: program analysis and transformation, constraint handling rules, termination analysis, security, program testing and verification, program synthesis, program derivation, semantic issues in logic programming and program transformation and optimization.

Detailangaben zum Buch - Logic-Based Program Synthesis and Transformation


EAN (ISBN-13): 9783319178219
ISBN (ISBN-10): 3319178210
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2015
Herausgeber: Springer International Publishing

Buch in der Datenbank seit 2015-06-27T22:15:28+02:00 (Vienna)
Detailseite zuletzt geändert am 2023-12-10T18:53:35+01:00 (Vienna)
ISBN/EAN: 9783319178219

ISBN - alternative Schreibweisen:
3-319-17821-0, 978-3-319-17821-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: maurizi, maurizio, proietti
Titel des Buches: notes the synthesis, logic, transformation, science synthesis, september, maurizio, canterbury canterbury, 2014

Daten vom Verlag:

Autor/in: Maurizio Proietti; Hirohisa Seki
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Logic-Based Program Synthesis and Transformation - 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
Verlag: Springer; Springer International Publishing
333 Seiten
Erscheinungsjahr: 2015-05-04
Cham; CH
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XII, 333 p. 61 illus.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Answer set programming; Constraint logic programming; Declarative debugging; Formal methods; Formal semantics; Languages; Logic programming; Operational semantics; Program analysis; Program semantics; Program synthesis; Program transformation; Program verification; Semantics and reasoning; Software notation and tools; Software security; Software testing; Static analysis; Term rewriting systems; Verification; Computer Science Logic and Foundations of Programming; Software Engineering; Formal Languages and Automata Theory; Artificial Intelligence; Discrete Mathematics in Computer Science; Software Engineering; Künstliche Intelligenz; Mathematik für Informatiker; Diskrete Mathematik; EA

Invited Talks.- Obscuring Code: Unveiling and Veiling Information in Programs.- Synthesizing Functions from Relations in Leon.- Program Analysis and Transformation.- Analyzing array manipulating programs by program transformation.- Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction.- Constraint Handling Rules.- Confluence Modulo Equivalence in Constraint Handling Rules.- Exhaustive Execution of CHR through Source-to-Source Transformation.- A Formal Semantics for the Cognitive Architecture ACT-R.- CHRAnimation: An Animation Tool for Constraint Handling Rules.- Termination Analysis.- Extending the 2D Dependency Pair Framework for Conditional Term Rewriting Systems.- Security.-Partial Evaluation for Java Malware Detection.- Access control and obligations in the category-based metamodel: a rewritebased Semantics.- Program Testing and Verification.-Concolic Execution and Test-Case Generation in Prolog.- Liveness properties in CafeOBJ-a case study for meta-level specifications.- Program Synthesis.- A Hybrid Method for the Verification and Synthesis of Parameterized Self-Stabilizing Protocols.- Drill & Join: A method for inductive program synthesis.- Program Derivation.- Functional Kleene Closures.- Semantic Issues in Logic Programming.- On completeness of logic programs.- Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies.- Program Transformation and Optimization.- Declarative Compilation for Constraint Logic Programming.- Pre-indexed Terms for Prolog.
Includes supplementary material: sn.pub/extras
< zum Archiv...