Verwandte Artikel zu Logic-Based Program Synthesis and Transformation: 19th...
Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers: 6037 (Lecture Notes in Computer Science) - Softcover
Inhaltsangabe
This volume constitutes the thoroughly refereed post-conference proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2009, held in Coimbra, Portugal, during September 9-11, 2009. The 14 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
This volume constitutes the thoroughly refereed post-conference proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2009, held in Coimbra, Portugal, during September 9-11, 2009. The 14 revised full papers presented together with one invited talk were carefully reviewed and selected for inclusion in the book. LOPSTR traditionally solicits papers in the areas of specification, synthesis, verification, transformation, analysis, optimization, composition, security, reuse, applications and tools, component-based software development, software architectures, agent-based software development, and program refinement.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 48,37
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & Dauer
Suchergebnisse für Logic-Based Program Synthesis and Transformation: 19th...
Beispielbild für diese ISBN
Logic-Based Program Synthesis and Transformation : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
Verlag:
Springer Berlin Heidelberg, 2010
ISBN 10: 3642125913
ISBN 13: 9783642125911
Gebraucht
Softcover
Anbieter: Buchpark, Trebbin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 216 | Sprache: Englisch | Produktart: Bücher. Bestandsnummer des Verkäufers 7242280/12
Anzahl: 1 verfügbar
Foto des Verkäufers
Logic-Based Program Synthesis and Transformation
Verlag:
Springer Berlin Heidelberg, 2010
ISBN 10: 3642125913
ISBN 13: 9783642125911
Neu
Kartoniert / Broschiert
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Kartoniert / Broschiert. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Towards Scalable Partial Evaluation of Declarative Programs.- Deciding Full Branching Time Logic by Program Transformation.- A Transformational Approach for Proving Properties of the CHR Constraint Store.- The Dependency Triple Framework for Termination of . Bestandsnummer des Verkäufers 5049913
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Logic-Based Program Synthesis and Transformation : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering. Bestandsnummer des Verkäufers 9783642125911
Anzahl: 1 verfügbar
Foto des Verkäufers
Logic-Based Program Synthesis and Transformation
Verlag:
Springer Berlin Heidelberg Apr 2010, 2010
ISBN 10: 3642125913
ISBN 13: 9783642125911
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 216 pp. Englisch. Bestandsnummer des Verkäufers 9783642125911
Anzahl: 2 verfügbar
Foto des Verkäufers
Logic-Based Program Synthesis and Transformation
ISBN 10: 3642125913
ISBN 13: 9783642125911
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 216 pp. Englisch. Bestandsnummer des Verkäufers 9783642125911
Anzahl: 2 verfügbar
Foto des Verkäufers
Logic-Based Program Synthesis and Transformation : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 9088168-n
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers (Lecture Notes in Computer Science, 6037)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers I-9783642125911
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Logic-Based Program Synthesis and Transformation : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 9088168
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Logic-Based Program Synthesis and Transformation : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 9088168-n
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Logic-Based Program Synthesis and Transformation : 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 9088168
Anzahl: Mehr als 20 verfügbar