Hardcover 2002 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Lecture Notes in Computer Science ;2372. [viii, 265 p. : fig. ; 24 cm]. N� de ref. del art�culo 011829

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo: Logic Based Program Synthesis and ...

Editorial: Springer-Verlag, New York

A�o de publicaci�n: 2002

Encuadernaci�n: Hardcover

Condici�n: Very Good

Condici�n de la sobrecubierta: No Jacket

Acerca de

Rese�a del editor:

This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2001, held in Paphos, Cyprus, in November 2001.
The 13 revised full papers presented together with an invited paper were carefully selected and improved during two rounds of reviewing and revision. The papers are organized in topical sections on program transformation and equivalence, program verification, program analysis, program development, and program synthesis.

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

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.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

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

Condiciones de venta:

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 ...

M�s informaci�n

Condiciones de env�o:

$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/

M�todos de pago
aceptados por la librer�a

Cheque Giro Postal Dinero en Efectivo PayPal

A�adir una petici�n

Art�culos relacionados a Logic Based Program Synthesis and Transformation: 11th...

Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 Selected Papers

Pettorossi, Alberto

Usado - Encuadernaci�n de tapa dura

Informaci�n empresarial del vendedor