Logic Based Program Synthesis and Transformation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected ... Notes in Computer Science, 2664, Band 2664) - Softcover
Inhaltsangabe
This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2002, held in Madrid, Spain in September 2002.
The 15 revised full papers presented together with 7 abstracts were carefully selected during two rounds of reviewing and revision from 40 submissions. The papers are organized in topical sections on debugging and types, tabling and constraints, abstract interpretation, program refinement, verification, partial evaluation, and rewriting and object-oriented development.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Logic Based Program Synthesis and Transformation: 12th...
Beispielbild für diese ISBN
Logic Based Program Synthesis and Transportation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 Revised Selected Papers
Verlag:
Springer Verlag, New York, 2003
ISBN 10: 3540404384
ISBN 13: 9783540404385
Gebraucht
Hardcover
Anbieter: Doss-Haus Books, Redondo Beach, CA, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Very Good. No Jacket. Hardcover 2003 library bound edition. Ex-library book with minimal stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Series :Lecture Notes in Computer Science ;2664. [x, 279 p. : ill. ; 24 cm]. Artikel-Nr. 011549
Gebraucht kaufen
EUR 33,67
EUR 4,80 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Logic Based Program Synthesis and Transformation : 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, 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 - This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2002, held in Madrid, Spain in September 2002.The 15 revised full papers presented together with 7 abstracts were carefully selected during two rounds of reviewing and revision from 40 submissions. The papers are organized in topical sections on debugging and types, tabling and constraints, abstract interpretation, program refinement, verification, partial evaluation, and rewriting and object-oriented development. Artikel-Nr. 9783540404385
Neu kaufen
EUR 53,49
EUR 62,26 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Logic Based Program Synthesis and Transformation | 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers
Anbieter: preigu, Osnabrück, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Logic Based Program Synthesis and Transformation | 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers | M. Leuschel | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2003 | Springer | EAN 9783540404385 | Verantwortliche Person für die EU: Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu. Artikel-Nr. 102527058
Neu kaufen
EUR 50,25
EUR 70,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 5 verfügbar