T�tulo: Computer-Aided Verification: 2nd International Conference, Cav '90 New Brunswick, Nj, Usa, June 18-21, 1990 Proceedings (Lecture Notes in Computer Science)
Editor: Springer
Fecha de publicaci�n: 1991
Idioma: Ingl�s
ISBN 10: 0387544771
ISBN 13: 9780387544779
Encuadernaci�n: Paperback
Estado: Good

Acerca de

Sinopsis

Book by Clarke E M

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

Descripci�n de la librer�a

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

bookmans
9550 E Golf Links Rc, tucson, AZ, 85730, U.S.A.

Condiciones de venta y env�o

Condiciones de venta

We guarantee the condition of every book as it's described on the Abebooks web sites. If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, please contact us at your convenience. If you�ve changed your mind about a book that you�ve ordered, please use the [Ask bookseller a question] link to contact us and we'll respond within 2 business days.

Derecho a cancelaci�n

Condiciones de env�o

Orders usually ship out within 2 business days. 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.

Tarifas de env�o en Estados Unidos de America

Tarifas de env�o en Estados Unidos de America
Cantidad del pedido	De 4 a 14 d�as h�biles	De 2 a 6 d�as h�biles
Primer art�culo	EUR 3.43	EUR 6.01

Los plazos de entrega los establecen los vendedores y var�an seg�n el transportista y la ubicaci�n. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relaci�n con cargos adicionales para cubrir cualquier aumento en los costes de env�o de los art�culos.