Logic Based Program Synthesis and Transformation : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers - Taschenbuch
2005, ISBN: 3540266550
[EAN: 9783540266556], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], PROGRAMMIEREN (EDV) / ENTWICKLUNG; COMPUTATIONALCONSTRAINTPROGRAMMING; FORMALMETHODS; FUNCTIONALPROGRAMMING; IM… Mehr…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
2005, ISBN: 3540266550
[EAN: 9783540266556], Neubuch, [PU: Springer Berlin Heidelberg Jun 2005], PROGRAMMIEREN (EDV) / ENTWICKLUNG; COMPUTATIONALCONSTRAINTPROGRAMMING; FORMALMETHODS; FUNCTIONALPROGRAMMING; IMPE… Mehr…
AbeBooks.de BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 4 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
2024, ISBN: 9783540266556
[ED: Taschenbuch], [PU: Springer Berlin Heidelberg], Neuware - This volume contains a selection of the papers presented at LOPSTR 2004, the 14th International Symposium on Logic-Based Pro… Mehr…
booklooker.de BuchWeltWeit Inh. Ludwig Meier e.K. Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected ... Notes in Computer Science, 3573, Band 3573) - Taschenbuch
2008, ISBN: 9783540266556
Springer Berlin Heidelberg, Taschenbuch, Auflage: 2005, 292 Seiten, Publiziert: 2008-10-10T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: biography, 0.91 kg, Informatik, IT-Ausbildung & … Mehr…
Amazon.de (Intern... |
Logic Based Program Synthesis and Transformation 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers - neues Buch
2005, ISBN: 3540266550
2005 Kartoniert / Broschiert Programmieren (EDV) / Entwicklung, Computerprogrammierung und Softwareentwicklung, Künstliche Intelligenz, Computationalconstraintprogramming; formalmethods… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
Logic Based Program Synthesis and Transformation : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers - Taschenbuch
2005, ISBN: 3540266550
[EAN: 9783540266556], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], PROGRAMMIEREN (EDV) / ENTWICKLUNG; COMPUTATIONALCONSTRAINTPROGRAMMING; FORMALMETHODS; FUNCTIONALPROGRAMMING; IM… Mehr…
2005, ISBN: 3540266550
[EAN: 9783540266556], Neubuch, [PU: Springer Berlin Heidelberg Jun 2005], PROGRAMMIEREN (EDV) / ENTWICKLUNG; COMPUTATIONALCONSTRAINTPROGRAMMING; FORMALMETHODS; FUNCTIONALPROGRAMMING; IMPE… Mehr…
2024
ISBN: 9783540266556
[ED: Taschenbuch], [PU: Springer Berlin Heidelberg], Neuware - This volume contains a selection of the papers presented at LOPSTR 2004, the 14th International Symposium on Logic-Based Pro… Mehr…
Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected ... Notes in Computer Science, 3573, Band 3573) - Taschenbuch
2008, ISBN: 9783540266556
Springer Berlin Heidelberg, Taschenbuch, Auflage: 2005, 292 Seiten, Publiziert: 2008-10-10T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: biography, 0.91 kg, Informatik, IT-Ausbildung & … Mehr…
Logic Based Program Synthesis and Transformation 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers - neues Buch
2005, ISBN: 3540266550
2005 Kartoniert / Broschiert Programmieren (EDV) / Entwicklung, Computerprogrammierung und Softwareentwicklung, Künstliche Intelligenz, Computationalconstraintprogramming; formalmethods… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected ... Notes in Computer Science, 3573, Band 3573)
EAN (ISBN-13): 9783540266556
ISBN (ISBN-10): 3540266550
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2005
Herausgeber: Springer Berlin Heidelberg
292 Seiten
Gewicht: 0,445 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-06-05T12:44:03+02:00 (Vienna)
Detailseite zuletzt geändert am 2024-02-07T06:07:01+01:00 (Vienna)
ISBN/EAN: 9783540266556
ISBN - alternative Schreibweisen:
3-540-26655-0, 978-3-540-26655-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: sand
Titel des Buches: logic for computer science, based paper, logic pro, verona, general papers, august, notes the synthesis, transformation
Daten vom Verlag:
Autor/in: Sandro Etalle
Titel: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Logic Based Program Synthesis and Transformation - 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers
Verlag: Springer; Springer Berlin
284 Seiten
Erscheinungsjahr: 2005-06-24
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
VIII, 284 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Informatik; computational logic; constraint programming; formal methods; functional programming; imperative programming; logic; logic program manipulation; logic programming; program analysis; program syntesis; program transformation; program verification; programming theor; semantics; verification; Computer Science Logic and Foundations of Programming; Programming Techniques; Formal Languages and Automata Theory; Artificial Intelligence; Computerprogrammierung und Softwareentwicklung; Künstliche Intelligenz; EA
Verification and Analysis.- Searching Semantically Equivalent Code Fragments in Logic Programs.- Determinacy Analysis for Logic Programs Using Mode and Type Information.- Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs.- Fully Automatic Binding-Time Analysis for Prolog.- Theory and Security.- Logical Mobility and Locality Types.- Unwinding Conditions for Security in Imperative Languages.- Natural Rewriting for General Term Rewriting Systems.- Transformations.- Negation Elimination for Finite PCFGs.- Specialization of Concurrent Guarded Multi-set Transformation Rules.- Efficient Local Unfolding with Ancestor Stacks for Full Prolog.- Program Development.- Schema-Guided Synthesis of Imperative Programs by Constraint Solving.- Run-Time Profiling of Functional Logic Programs.- Constructive Specifications for Compositional Units.- Termination.- Input-Termination of Logic Programs.- On Termination of Binary CLP Programs.- Program Development and Synthesis.- From Natural Semantics to Abstract Machines.- Graph-Based Proof Counting and Enumeration with Applications for Program Fragment Synthesis.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...