Verwandte Artikel zu Logic Program Synthesis and Transformation: 5th Internationa...

Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings: 1048 (Lecture Notes in Computer Science) - Softcover

 
9783540609391: Logic Program Synthesis and Transformation: 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995. Proceedings: 1048 (Lecture Notes in Computer Science)

Inhaltsangabe

This book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Synthesis and Transformation, LOPSTR'95, held in Utrecht, The Netherlands in September 1995.
The 19 papers included were selected from 40 workshop submissions; they offer a unique up-to-date account of the use of formal synthesis and transformation techniques for computer-aided development of logic programs. Among the topics addressed are deductive and inductive program synthesis, synthesis models based on constructive type theory, program specification, program analysis, theorem proving, and applications to various types of programs.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

This book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Synthesis and Transformation, LOPSTR'95, held in Utrecht, The Netherlands in September 1995.
The 19 papers included were selected from 40 workshop submissions; they offer a unique up-to-date account of the use of formal synthesis and transformation techniques for computer-aided development of logic programs. Among the topics addressed are deductive and inductive program synthesis, synthesis models based on constructive type theory, program specification, program analysis, theorem proving, and applications to various types of programs.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

  • VerlagSpringer
  • Erscheinungsdatum2008
  • ISBN 10 3540609393
  • ISBN 13 9783540609391
  • EinbandTapa blanda
  • SpracheEnglisch
  • Anzahl der Seiten284
  • Kontakt zum HerstellerNicht verfügbar

Gebraucht kaufen

pp. 284
Diesen Artikel anzeigen

EUR 2,30 für den Versand innerhalb von/der Deutschland

Versandziele, Kosten & Dauer

Gratis für den Versand von USA nach Deutschland

Versandziele, Kosten & Dauer

Weitere beliebte Ausgaben desselben Titels

9780387609393: Logic Program Synthesis and Transformation: 5th International Workshop, Lopstr'95, Utrecht, the Netherlands, September 20-22, 1995 : Proceedings (Lecture Notes in Computer Science)

Vorgestellte Ausgabe

ISBN 10:  0387609393 ISBN 13:  9780387609393
Verlag: Springer Nature, 1996
Softcover

Suchergebnisse für Logic Program Synthesis and Transformation: 5th Internationa...

Beispielbild für diese ISBN

Maurizio Proietti,
Verlag: Springer, 1996
ISBN 10: 3540609393 ISBN 13: 9783540609391
Neu Softcover

Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Bestandsnummer des Verkäufers ABNR-157129

Verkäufer kontaktieren

Neu kaufen

EUR 45,44
Währung umrechnen
Versand: Gratis
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Maurizio Proietti,
Verlag: Springer, 1996
ISBN 10: 3540609393 ISBN 13: 9783540609391
Neu Softcover

Anbieter: Basi6 International, Irving, TX, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Bestandsnummer des Verkäufers ABEJUNE24-343314

Verkäufer kontaktieren

Neu kaufen

EUR 45,44
Währung umrechnen
Versand: Gratis
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Foto des Verkäufers

Proietti, Maurizio
ISBN 10: 3540609393 ISBN 13: 9783540609391
Neu Softcover
Print-on-Demand

Anbieter: moluna, Greven, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Synthesis and Transformation, LOPSTR 95, held in Utrecht, The Netherlands in September 1995.The 19 papers included were selected from 40 workshop submissio. Bestandsnummer des Verkäufers 4895423

Verkäufer kontaktieren

Neu kaufen

EUR 48,37
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Foto des Verkäufers

Maurizio Proietti
ISBN 10: 3540609393 ISBN 13: 9783540609391
Neu Taschenbuch
Print-on-Demand

Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Synthesis and Transformation, LOPSTR'95, held in Utrecht, The Netherlands in September 1995.The 19 papers included were selected from 40 workshop submissions; they offer a unique up-to-date account of the use of formal synthesis and transformation techniques for computer-aided development of logic programs. Among the topics addressed are deductive and inductive program synthesis, synthesis models based on constructive type theory, program specification, program analysis, theorem proving, and applications to various types of programs.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 284 pp. Englisch. Bestandsnummer des Verkäufers 9783540609391

Verkäufer kontaktieren

Neu kaufen

EUR 53,49
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Foto des Verkäufers

Maurizio Proietti
ISBN 10: 3540609393 ISBN 13: 9783540609391
Neu Taschenbuch

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Synthesis and Transformation, LOPSTR'95, held in Utrecht, The Netherlands in September 1995.The 19 papers included were selected from 40 workshop submissions; they offer a unique up-to-date account of the use of formal synthesis and transformation techniques for computer-aided development of logic programs. Among the topics addressed are deductive and inductive program synthesis, synthesis models based on constructive type theory, program specification, program analysis, theorem proving, and applications to various types of programs. Bestandsnummer des Verkäufers 9783540609391

Verkäufer kontaktieren

Neu kaufen

EUR 53,49
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Proietti Maurizio
Verlag: Springer, 1996
ISBN 10: 3540609393 ISBN 13: 9783540609391
Gebraucht Softcover

Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: Used. pp. 284. Bestandsnummer des Verkäufers 183105787

Verkäufer kontaktieren

Gebraucht kaufen

EUR 55,36
Währung umrechnen
Versand: EUR 2,30
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Proietti, Maurizio
Verlag: Springer, 1996
ISBN 10: 3540609393 ISBN 13: 9783540609391
Gebraucht Softcover

Anbieter: Books Puddle, New York, NY, USA

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: Used. pp. 284. Bestandsnummer des Verkäufers 263105777

Verkäufer kontaktieren

Gebraucht kaufen

EUR 53,75
Währung umrechnen
Versand: EUR 7,88
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Proietti, Maurizio
Verlag: Springer, 1996
ISBN 10: 3540609393 ISBN 13: 9783540609391
Gebraucht Softcover

Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: Used. pp. 284 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Bestandsnummer des Verkäufers 5823534

Verkäufer kontaktieren

Gebraucht kaufen

EUR 52,77
Währung umrechnen
Versand: EUR 10,50
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Proietti, Maurizio
Verlag: Springer, 1996
ISBN 10: 3540609393 ISBN 13: 9783540609391
Neu Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. In. Bestandsnummer des Verkäufers ria9783540609391_new

Verkäufer kontaktieren

Neu kaufen

EUR 62,09
Währung umrechnen
Versand: EUR 5,91
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Foto des Verkäufers

Maurizio Proietti
ISBN 10: 3540609393 ISBN 13: 9783540609391
Neu Taschenbuch
Print-on-Demand

Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Synthesis and Transformation, LOPSTR'95, held in Utrecht, The Netherlands in September 1995.The 19 papers included were selected from 40 workshop submissions; they offer a unique up-to-date account of the use of formal synthesis and transformation techniques for computer-aided development of logic programs. Among the topics addressed are deductive and inductive program synthesis, synthesis models based on constructive type theory, program specification, program analysis, theorem proving, and applications to various types of programs. 284 pp. Englisch. Bestandsnummer des Verkäufers 9783540609391

Verkäufer kontaktieren

Neu kaufen

EUR 74,89
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Es gibt 3 weitere Exemplare dieses Buches

Alle Suchergebnisse ansehen