Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected ... Notes in Computer Science, 2664, Band 2664) - Taschenbuch
2008, ISBN: 9783540404385
Springer, Taschenbuch, Auflage: 2003, 292 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: Illustrations, 2.03 kg, Informatik, IT-Ausbildung & -Berufe, Compu… 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: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected ... Notes in Computer Science, 2664, Band 2664) - Taschenbuch
2008, ISBN: 9783540404385
Springer, Taschenbuch, Auflage: 2003, 292 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: Illustrations, 2.03 kg, Informatik, IT-Ausbildung & -Berufe, Compu… 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: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers (Lecture Notes in Computer Science) - Taschenbuch
2008, ISBN: 3540404384
Taschenbuch 292 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: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected ... Notes in Computer Science, 2664, Band 2664) - Taschenbuch
2008, ISBN: 9783540404385
Springer, Taschenbuch, Auflage: 2003, 292 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: Illustrations, 2.03 kg, Informatik, IT-Ausbildung & -Berufe, Compu… 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: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected ... Notes in Computer Science, 2664, Band 2664) - Taschenbuch
2008, ISBN: 9783540404385
Springer, Taschenbuch, Auflage: 2003, 292 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: Illustrations, 2.03 kg, Informatik, IT-Ausbildung & -Berufe, Compu… 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: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected ... Notes in Computer Science, 2664, Band 2664) - Taschenbuch
2008, ISBN: 9783540404385
Springer, Taschenbuch, Auflage: 2003, 292 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: Illustrations, 2.03 kg, Informatik, IT-Ausbildung & -Berufe, Compu… Mehr…
Leuschel, M.:
Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected ... Notes in Computer Science, 2664, Band 2664) - Taschenbuch2008, ISBN: 9783540404385
Springer, Taschenbuch, Auflage: 2003, 292 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: Illustrations, 2.03 kg, Informatik, IT-Ausbildung & -Berufe, Compu… Mehr…
Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers (Lecture Notes in Computer Science) - Taschenbuch
2008
ISBN: 3540404384
Taschenbuch 292 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: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected ... Notes in Computer Science, 2664, Band 2664) - Taschenbuch
2008, ISBN: 9783540404385
Springer, Taschenbuch, Auflage: 2003, 292 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: Illustrations, 2.03 kg, Informatik, IT-Ausbildung & -Berufe, Compu… Mehr…
Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected ... Notes in Computer Science, 2664, Band 2664) - Taschenbuch
2008, ISBN: 9783540404385
Springer, Taschenbuch, Auflage: 2003, 292 Seiten, Publiziert: 2008-06-13T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: Illustrations, 2.03 kg, Informatik, IT-Ausbildung & -Berufe, Compu… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected ... Notes in Computer Science, 2664, Band 2664)
EAN (ISBN-13): 9783540404385
ISBN (ISBN-10): 3540404384
Taschenbuch
Erscheinungsjahr: 2003
Herausgeber: Springer
296 Seiten
Gewicht: 0,450 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-07-15T22:54:22+02:00 (Vienna)
Detailseite zuletzt geändert am 2023-11-17T08:13:51+01:00 (Vienna)
ISBN/EAN: 9783540404385
ISBN - alternative Schreibweisen:
3-540-40438-4, 978-3-540-40438-5
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: spain, leuschel, michael white
Titel des Buches: september, based paper, vis vis madrid, science synthesis, program, selected papers nuclear archaeological, logic computer science, notes the synthesis, lecture notes computer science, spain madrid, transformation
Daten vom Verlag:
Autor/in: M. Leuschel
Titel: Lecture Notes in Computer Science; Logic Based Program Synthesis and Transformation - 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers
Verlag: Springer; Springer Berlin
279 Seiten
Erscheinungsjahr: 2003-06-18
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
X, 279 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Erfüllbarkeitsproblem der Aussagenlogik; Resolution; Variable; computational logic; constraint programming; formal methods; functional programming; imperative programming; logic; logic programming; optimization; program transformation; program verification; semantics; verification; Computer Science Logic and Foundations of Programming; Humanities and Social Sciences; Programming Techniques; Formal Languages and Automata Theory; Interdisziplinäre Studien; Computerprogrammierung und Softwareentwicklung; EA
Debugging and Types.- Abstract Diagnosis of Functional Programs.- A Cut-Free Sequent Calculus for Pure Type Systems Verifying the Structural Rules of Gentzen/Kleene.- Tabling and Constraints.- Constraint Solver Synthesis Using Tabled Resolution for Constraint Logic Programming.- Translating Datalog-Like Optimization Queries into ILOG Programs.- Tabling Structures for Bottom-Up Logic Programming.- Abstract Interpretation.- A General Framework for Variable Aliasing: Towards Optimal Operators for Sharing Properties.- Two Variables per Linear Inequality as an Abstract Domain.- Convex Hull Abstractions in Specialization of CLP Programs.- Collecting Potential Optimisations.- Program Refinement.- An Operational Approach to Program Extraction in the Calculus of Constructions.- Refinement of Higher-Order Logic Programs.- A Generic Program for Minimal Subsets with Applications.- Verification.- Justification Based on Program Transformation.- Combining Logic Programs and Monadic Second Order Logics by Program Transformation.- Verification in ACL2 of a Generic Framework to Synthesize SAT-Provers.- A Proof System for Information Flow Security.- Partial Evaluation.- Forward Slicing of Multi-paradigm Declarative Programs Based on Partial Evaluation.- A Fixed Point Semantics for Logic Programs Extended with Cuts.- Abstract Partial Deduction Challenged.- Rewriting and Object-Oriented Development.- Towards Correct Object-Oriented Design Frameworks in Computational Logic.- Mapping Modular SOS to Rewriting Logic.- Program Synthesis Based on the Equivalent Transformation Computation Model.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
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)
- 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)
- 9783540676287 Logic-Based Program Synthesis and Transformation (Bossi, Annalisa)
< zum Archiv...