582 pp., Paperback, previous owner's name to title page else very good. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.

N� de r�f. du vendeur ZB1252394

Contacter le vendeur

Signaler cet article

D�tails bibliographiques

Titre: Computer Aided Verification: 12th International Conference, CAV 2000 Chicago, IL, USA, July 15-19, 2000 Proceedings (Lecture Notes in Computer Science, 1855)
�diteur: Springer
Date de parution: 2000
Langue: anglais
ISBN � 10 chiffres: 3540677704
ISBN � 13 chiffres: 9783540677703
Reliure: Couverture souple
�tat de l'article: Very Good

A propos de ce titre

Synopsis

Proceedings of the 12th International Conference, CAV 2000, held in Chicago, IL, July 15-19, 2000. The conference was devoted to the advancement of the theory and practice for formal methods for hardware and software verification. Covers everything from theoretical foundations to the latest applications. Softcover.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

Description de la librairie

Zubal Books is the #1 buyer and seller of scholarly and rare books in America. Since 1961 we've handled thousands of private and technical libraries. Our family business knows books and we treat our clients with top-notch customer service. If you have any questions about our listings, please don't hesitate to contact us. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

Zubal Books
2969 West 25th Street, Cleveland, OH, 44113, U.S.A.

Conditions de vente et de livraison

Conditions g�n�rales de vente

Price are net to all
Visa/MC/Check/Money Order
Libraries Invoiced

We do accept checks, however
WE DO NOT HOLD OR RESERVE ANY ITEMS

All international postal rates are subject to change depending on weight
and size.

Droit de r�tractation

Conditions d'exp�dition

Orders usually ship 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.

Buyer is responsible for any additional duties, taxes, or fees required by recipient's country

Frais d?exp�dition � l?int�rieur de ce pays�: Etats-Unis

Frais d?exp�dition � l?int�rieur de ce pays�: Etats-Unis
Quantit� command�e	4 � 14 jours ouvr�s	3 � 5 jours ouvr�s
Premier article	EUR 3.88	EUR 12.07

Les d�lais de livraison sont fix�s par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent �tre retard�es et les acheteurs sont responsables de tous les droits ou frais associ�s. Les vendeurs peuvent vous contacter au sujet de frais suppl�mentaires afin de couvrir toute augmentation des co�ts d'exp�dition de vos articles.

Informations vendeur d�taill�es