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]. Bestandsnummer des Verk�ufers 011549

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Logic Based Program Synthesis and ...

Verlag: Springer Verlag, New York

Erscheinungsdatum: 2003

Einband: Hardcover

Zustand: Very Good

Zustand des Schutzumschlags: No Jacket

�ber diesen Titel

Rese�a del editor:

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.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

We are a home-based bookseller. We do not have a retail location. We believe in customer service. We will wrap your book with care and mail it promptly. We respond to all of our e-mails in a timely manner.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Doss-Haus Books
CA, U.S.A.

Gesch�ftsbedingungen:

All orders placed with a credit card through Abe's shopping basket will ship within 2 days of the order. Books purchased with Money orders, Cashiers checks or PayPal will be sent upon receipt of payment. All Personal checks will be held until cleared by the bank. We will send your book promptly when the check clears. If you require additional information about any of our books listed, please e-mail us. Please include "BOOK" in the subject line and your e-mail will be promptly returned. Any book ...

Mehr Information

Versandinformationen:

$4.50 for "media mail" shipping. $7.00 for US Priority. $35.00 for International shipping. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required. To make a PayPal payment go here: http://dosshausbooks.com/

Zahlungsarten
akzeptiert von diesem Verk�ufer

Vorauskasse Money Order Bar PayPal

Zu Kaufgesuchen hinzuf�gen

Verwandte Artikel zu Logic Based Program Synthesis and Transportation: 12th...

Logic Based Program Synthesis and Transportation: 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002 Revised Selected Papers

Leuschel, Michael

Gebraucht - Hardcover

Unternehmensdaten des Verk�ufers