- 5 Ergebnisse
Kleinster Preis: € 40,75, größter Preis: € 57,23, Mittelwert: € 45,96
1
Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised ... Notes in Computer Science, 4915, Band 4915)
Bestellen
bei Amazon.de (Intern. Bücher)
€ 40,75
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link

Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised ... Notes in Computer Science, 4915, Band 4915) - Taschenbuch

2008, ISBN: 9783540787686

Springer, Taschenbuch, Auflage: 2008, 232 Seiten, Publiziert: 2008-04-28T00:00:01Z, Produktgruppe: Buch, 1.05 kg, Change Management, Management, Business & Karriere, Kategorien, Bücher, I… Mehr…

Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
zuklappen (X)
2
Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised ... Notes in Computer Science, 4915, Band 4915)
Bestellen
bei Amazon.de (Intern. Bücher)
€ 43,75
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link
Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised ... Notes in Computer Science, 4915, Band 4915) - Taschenbuch

2008, ISBN: 9783540787686

Springer, Taschenbuch, Auflage: 2008, 232 Seiten, Publiziert: 2008-04-28T00:00:01Z, Produktgruppe: Buch, 1.05 kg, Change Management, Management, Business & Karriere, Kategorien, Bücher, I… Mehr…

Versandkosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) ausverkauf
zuklappen (X)
3
Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised ... Notes in Computer Science, 4915, Band 4915)
Bestellen
bei Amazon.de (Intern. Bücher)
€ 45,54
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link
Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised ... Notes in Computer Science, 4915, Band 4915) - Taschenbuch

2008

ISBN: 9783540787686

Springer, Taschenbuch, Auflage: 2008, 232 Seiten, Publiziert: 2008-04-28T00:00:01Z, Produktgruppe: Buch, 0.74 kg, Change Management, Management, Business & Karriere, Kategorien, Bücher, I… Mehr…

Versandkosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) ausverkauf
zuklappen (X)
4
Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised ... Notes in Computer Science, 4915, Band 4915)
Bestellen
bei Amazon.de (Intern. Bücher)
€ 57,23
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised ... Notes in Computer Science, 4915, Band 4915) - Taschenbuch

2008, ISBN: 9783540787686

Springer, Taschenbuch, Auflage: 2008, 232 Seiten, Publiziert: 2008-04-28T00:00:01Z, Produktgruppe: Buch, 0.74 kg, Change Management, Management, Business & Karriere, Kategorien, Bücher, I… Mehr…

Versandkosten:Auf Lager. Lieferung von Amazon. (EUR 0.00) Amazon.de
zuklappen (X)
5
Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised ... Notes in Computer Science, 4915, Band 4915)
Bestellen
bei Amazon.de (Intern. Bücher)
€ 42,54
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link
Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised ... Notes in Computer Science, 4915, Band 4915) - Taschenbuch

2008, ISBN: 9783540787686

Springer, Taschenbuch, Auflage: 2008, 232 Seiten, Publiziert: 2008-04-28T00:00:01Z, Produktgruppe: Buch, 0.74 kg, Change Management, Management, Business & Karriere, Kategorien, Bücher, I… Mehr…

Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.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: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised ... Notes in Computer Science, 4915, Band 4915)
Autor:
Titel:
ISBN-Nummer:

9783540787686


This book constitutes the thoroughly refereed postproceedings of the 17th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2007, held in Kongens Lyngby, Denmark, August 23-24, 2007 colocated with SAS 2007. The 13 revised full papers presented together with one invited talk were carefully selected and revised from 30 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on program termination, program transformation, constraint solving and analysis as well as software engineering.

Detailangaben zum Buch - Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised ... Notes in Computer Science, 4915, Band 4915)


EAN (ISBN-13): 9783540787686
ISBN (ISBN-10): 3540787682
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2007
Herausgeber: King, Andy, Springer

Buch in der Datenbank seit 2008-04-23T16:28:53+02:00 (Vienna)
Detailseite zuletzt geändert am 2023-11-17T08:13:54+01:00 (Vienna)
ISBN/EAN: 9783540787686

ISBN - alternative Schreibweisen:
3-540-78768-2, 978-3-540-78768-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: synthesis, king were
Titel des Buches: transformation, program, logic, kongen, science synthesis, synthesis edition, notes the synthesis, you know denmark, august, symposium

Daten vom Verlag:

Autor/in: Andy King
Titel: Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; Logic-Based Program Synthesis and Transformation - 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers
Verlag: Springer; Springer Berlin
222 Seiten
Erscheinungsjahr: 2008-03-18
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
X, 222 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; agent-based software development; algorithm; algorithms; analysis; component-based software development; composition; logic; modeling; optimisation; program refinement; proving; reuse; software architectures; specification; verification; Software Engineering; Computer Science Logic and Foundations of Programming; Programming Techniques; Formal Languages and Automata Theory; Artificial Intelligence; Theoretische Informatik; Computerprogrammierung und Softwareentwicklung; Künstliche Intelligenz; EA

Program Termination.- Proving Termination with (Boolean) Satisfaction.- Termination Analysis of Logic Programs Based on Dependency Graphs.- Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation.- Program Transformation.- Towards a Normal Form for Mercury Programs.- Aggregates for CHR through Program Transformation.- Preserving Sharing in the Partial Evaluation of Lazy Functional Programs.- Denotation by Transformation.- Constraint Solving and Analysis.- Generation of Rule-Based Constraint Solvers: Combined Approach.- A Scalable Inclusion Constraint Solver Using Unification.- Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs.- A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs.- Software Engineering.- Snapshot Generation in a Constructive Object-Oriented Modeling Language.- Synthesis of Data Views for Communicating Processes.- Action Refinement in Process Algebra and Security Issues.
< zum Archiv...