Computer Aided Verification: 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings (Lecture Notes in Computer Science, 2725, Band 2725)

�diteur

Springer

Date de parution

2008

Langue

anglais

ISBN � 10 chiffres

3540405240

ISBN � 13 chiffres

9783540405245

Reliure

paperback

�tat de l'article

Befriedigend

Poids

500�grammes

Catalogues du vendeur

Varia

A propos de ce titre

Synopsis

The refereed proceedings of the 15th International Conference on Computer Aided Verification, CAV 2003, held in Boulder, CO, USA in July 2003.

The 32 revised full papers and 9 tool papers presented were carefully reviewed and selected from a total of 102 submissions. The papers are organized in topical sections on bounded model checking; symbolic model checking; games, trees, and counters; tools; abstraction; dense time; infinite state systems; applications; theorem proving; automata-based verification; invariants; and explicit model checking.

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

Studibuch ist ein Onlineshop f�r Studien- und Fachb�cher. Bei uns bekommst Du gebrauchte und gut erhaltene Fachliteratur zu fairen Preisen. B�cher mehrmals zu verwenden bedeutet, knappe Ressourcen nachhaltig zu nutzen. Durch deinen Einkauf bei Studibuch entsteht eine Wertekette, die vollst�ndig auf nachhaltiges Wirtschaften ausgerichtet ist und ein Zeichen gegen die Wegwerfmentalit�t setzt. Wenn Du selbst noch gebrauchte Fachb�cher hast, die Du nicht mehr ben�tigst dann kannst Du sie auf Studibuch.de verkaufen. Mit Deinem Verkauf bei Studibuch schaffst Du Platz im Regal und kannst den Verkaufserl�s f�r ein neues Fachbuch nutzen. Der Verkauf funktioniert ganz einfach. Du gibst die ISBN oder den Buchtitel auf unserer Seite ein oder scannst mit der kostenlosen Studibuch App den Barcode des Buches. Jetzt fehlt nur noch eine Angabe zum Zustand und dann wird Dir direkt der Verkaufspreis genannt. Nachdem Du alle B�cher eingegeben hast, kannst Du �ber einen Link Deinen Paketschein ausdrucken und die B�cher an uns versenden. Nach Eintreffen der B�cher erh�ltst Du garantiert innerhalb von drei Werktagen Dein Geld.

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

Studibuch GmbH
Neue Weinsteige 69, Stuttgart, 70180, Germany

Conditions de vente et de livraison

Conditions g�n�rales de vente

Droit de r�tractation

Conditions d'exp�dition

Exp�dition en dehors de l'Allemagne
Pour les envois en dehors de l'Allemagne, nous incluons une assurance jusqu'� 50 € (pour les colis jusqu'� 2 kg). Un num�ro de suivi est �galement fourni.

Attention�! Retours en cas de refus de r�ception ou de non-retrait du colis
Les colis qui nous sont retourn�s en raison d’un refus de r�ception de la part du client ou d’un non-retrait dans les d�lais aupr�s du transporteur ne sont pas consid�r�s comme des retours classiques dans le cadre du droit de r�tractation. Dans ce cas, nous nous r�servons le droit de d�duire des frais forfaitaires de traitement et de retour du montant � rembourser.

Ces frais se composent des �l�ments suivants�:

Pour les retours depuis l’Allemagne�: 4,90 €

Pour les retours depuis l’�tranger�: 12,90 €

Le montant total des frais sera automatiquement d�duit du remboursement.

Frais d?exp�dition de Allemagne�vers�Etats-Unis

Frais d?exp�dition de Allemagne�vers�Etats-Unis
Quantit� command�e	10 � 21 jours ouvr�s	10 � 21 jours ouvr�s
Premier article	EUR 72.00	EUR 87.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