- 5 Ergebnisse
Kleinster Preis: € 21,43, größter Preis: € 53,49, Mittelwert: € 44,23
1
Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 2000 Selected Papers: 10th International ... Notes in Computer Science, 2042, Band 2042) - Various, .
Bestellen
bei amazon.de
€ 21,43
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link
Various, .:

Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 2000 Selected Papers: 10th International ... Notes in Computer Science, 2042, Band 2042) - Taschenbuch

2008, ISBN: 9783540421276

Springer Berlin Heidelberg, Taschenbuch, Auflage: 2001, 196 Seiten, Publiziert: 2008-10-10T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: biography, 0.28 kg, Informatik, IT-Ausbildung & … Mehr…

Versandkosten:Auf Lager. Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00) PsychoBabel & Skoob Books
zuklappen (X)
2
Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 2000 Selected Papers: 10th International ... Notes in Computer Science, 2042, Band 2042) - Various, .
Bestellen
bei amazon.de
€ 51,98
Versand: € 3,001
Bestellen
Details beim Anbieter
gesponserter Link

Various, .:

Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 2000 Selected Papers: 10th International ... Notes in Computer Science, 2042, Band 2042) - Taschenbuch

2008, ISBN: 9783540421276

Springer Berlin Heidelberg, Taschenbuch, Auflage: 2001, 196 Seiten, Publiziert: 2008-10-10T00:00:01Z, Produktgruppe: Buch, Hersteller-Nr.: biography, 0.28 kg, Informatik, IT-Ausbildung & … Mehr…

Versandkosten:Die angegebenen Versandkosten können von den tatsächlichen Kosten abweichen. (EUR 3.00)
zuklappen (X)
3
Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 2000 Selected Papers: 10th International ... Notes in Computer Science, 2042, Band 2042) - Various, .
Bestellen
bei booklooker.de
€ 40,78
Versand: € 2,991
Bestellen
Details beim Anbieter
gesponserter Link
Various, .:
Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 2000 Selected Papers: 10th International ... Notes in Computer Science, 2042, Band 2042) - Taschenbuch

2008

ISBN: 9783540421276

[ED: Taschenbuch], [PU: Springer Berlin Heidelberg], EAN: 9783540421276 Das Titelbild der Auflage kann abweichen. Buch mit Gebrauchsspuren und vereinzelten Knicken, Flecken oder mit Gebra… Mehr…

Versandkosten:Versand nach Deutschland. (EUR 2.99) Berg-Berg Bücherwelt
zuklappen (X)
4
Logic Based Program Synthesis and Transformation
Bestellen
bei Hugendubel.de
€ 53,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Logic Based Program Synthesis and Transformation - Taschenbuch

2001, ISBN: 9783540421276

*Logic Based Program Synthesis and Transformation* - 10th International Workshop LOPSTR 2000 London UK July 24-28 2000 Selected Papers. Auflage 2001 / Taschenbuch für 53.49 € / Aus dem Be… Mehr…

Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
zuklappen (X)
5
Logic Based Program Synthesis and Transformation
Bestellen
bei Springer.com
€ 53,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Logic Based Program Synthesis and Transformation - neues Buch

ISBN: 9783540421276

There is currently no description available, Springer

Nr. 978-3-540-42127-6. Versandkosten:Worldwide free shipping, , DE. (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:

9783540421276


This book presents revised full papers from the 10th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2000, held in London, UK, in July 2000 as part of the International Conference on Computational Logic.The 10 revised full papers presented have gone through two rounds of reviewing, selection and revision. The book is divided in topical sections on synthesis, transformation, analysis, specialization, and abstract interpretation.

Detailangaben zum Buch - Logic Based Program Synthesis and Transformation


EAN (ISBN-13): 9783540421276
ISBN (ISBN-10): 3540421270
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2001
Herausgeber: Springer Berlin Heidelberg
183 Seiten
Gewicht: 0,304 kg

Buch in der Datenbank seit 2007-06-18T08:05:39+02:00 (Vienna)
Detailseite zuletzt geändert am 2024-03-25T11:31:34+01:00 (Vienna)
ISBN/EAN: 9783540421276

ISBN - alternative Schreibweisen:
3-540-42127-0, 978-3-540-42127-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: kung, lau, küng
Titel des Buches: logic computer science, lecture notes transform, 2042, based paper, science synthesis, transformation the base, paper london

Daten vom Verlag:

Autor/in: Kung-Kiu Lau
Titel: Lecture Notes in Computer Science; Logic Based Program Synthesis and Transformation - 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers
Verlag: Springer; Springer Berlin
188 Seiten
Erscheinungsjahr: 2001-05-01
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
VIII, 188 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Debugging; Program analysis; Prolog; computational logic; constraint programming; formal methods; functional programming; imperative programming; logic; logic programming; program synthesis; program verification; programming theory; semantics; verification; Software Engineering; Computer Science Logic and Foundations of Programming; Programming Techniques; Artificial Intelligence; Formal Languages and Automata Theory; Theoretische Informatik; Computerprogrammierung und Softwareentwicklung; Künstliche Intelligenz; EA

Synthesis.- A Formal Framework for Synthesis and Verification of Logic Programs.- Protocols between Programs and Proofs.- Protocols between Programs and Proofs.- A Technique for Modular Logic Program Refinement.- A Technique for Modular Logic Program Refinement.- Transformation.- Higher-Order Transformation of Logic Programs.- Analysis.- Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings.- Specialisation.- A Model for Inter-module Analysis and Optimizing Compilation.- Measuring the Effectiveness of Partial Evaluation in Functional Logic Languages.- Automated Strategies for Specializing Constraint Logic Programs.- Abstract Interpretation.- Measuring the Precision of Abstract Interpretations.- Debugging.- Specifying Prolog Trace Models with a Continuation Semantics.
Includes supplementary material: sn.pub/extras
< zum Archiv...