Ancien livre de biblioth�que. Edition 2001. Ammareal reverse jusqu'� 15% du prix net de cet article � des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2001. Ammareal gives back up to 15% of this item's net price to charity organizations.

N� de r�f. du vendeur E-576-286

Contacter le vendeur

Signaler cet article

D�tails bibliographiques

Titre: Computer Aided Verification: 13th International Conference, Cav 2001, Paris, France, July 18-22, 2001. Proceedings
�diteur: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Date de parution: 2001
Langue: anglais
ISBN � 10 chiffres: 3540423451
ISBN � 13 chiffres: 9783540423454
Reliure: Softcover
�tat de l'article: Tr�s bon

A propos de ce titre

Synopsis

This volume contains the proceedings of the conference on Computer-Aided Veric ation (CAV 2001), held in Paris, Palaisde laMutualit e, July 18{22,2001. CAV 2001 was the 13th in a series of conferences dedicated to the advan- ment of the theory and practice of computer-assisted formal analysis methods for software and hardware systems. The CAV conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical veri cation tools and algorithms and techniques needed for their implemen- tion. ProgramCommitteeofCAV 2001 Rajeev Alur (Penn. &Bell labs) Bengt Jonsson (Uppsala) Henrik Reif Andersen (Copenhagen) Robert Kurshan (LucentBellLabs) G erard Berry (EsterelT., co-chair) Kim G. Larsen (Aalborg) Randy Bryant (CMU) Ken Mc Millan(Cadence) Jerry Burch (Cadence) Kedar Namjoshi (Belllabs) Ching-Tsun Chou (Intel) Christine Paulin-Mohring (Orsay) Edmund Clarke (CMU) Carl Pixley (Motorola) Hubert Comon (LSV& Stanford, co-chair) Kavita Ravi (Cadence) David Dill (Stanford) Natarajan Shankar (SRI) E. Allen Emerson (Austin) Mary Sheeran (Chalmers &Prover T. ) Alain Finkel (LSV, co-chair) Tom Shiple (Synopsys) Patrice Godefroid (Belllabs) A.

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

English below. Ammareal est une librairie professionnelle sp�cialis�e dans le livre d?occasion. Nous exp�dions partout dans le monde. Nous avons plus de 250 000 ouvrages en stock dont un grand nombre de livres techniques et acad�miques. Nous reversons jusqu?� 15% du prix de vente de chaque livre � des organisations caritatives, des biblioth�ques et des associations luttant contre l?illettrisme. Ce que nous ne vendons pas nous le donnons, ce que nous ne donnons pas nous le recyclons. Ammareal is a professional bookseller speciliazed in used books. We ship worldwide. We have more than 250 000 books in stock, including a large number of technical and university-level books. We give back up to 15% of the price of each book to charities, libraries and organizations fighting in favor of literacy. What we do not sell, we give, what we do not give we recycle.

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

SAS AMMAREAL
4 AV ARGAO, MORANGIS, 91420, France

Conditions de vente et de livraison

Conditions g�n�rales de vente

Droit de r�tractation

Conditions d'exp�dition

Frais d?exp�dition � l?int�rieur de ce pays�: France

Frais d?exp�dition � l?int�rieur de ce pays�: France
Quantit� command�e	2 � 3 jours ouvr�s	1 � 2 jours ouvr�s
Premier article	EUR 3.50	EUR 9.00

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