Paperback. The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017.The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions. The CAV conference series is dedicated to the advancement of the theory and practice of computer-aided formal analysis of hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.

N� de r�f. du vendeur 9783319633862

Contacter le vendeur

Signaler cet article

D�tails bibliographiques

Titre: Computer Aided Verification (Paperback)
�diteur: Springer International Publishing AG, Cham
Date de parution: 2017
Langue: anglais
ISBN � 10 chiffres: 3319633864
ISBN � 13 chiffres: 9783319633862
Reliure: Paperback
�dition: Edition originale
�tat de l'article: new

A propos de ce titre

Synopsis

The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereed proceedings of the 29th International Conference on Computer Aided Verification, CAV 2017, held in Heidelberg, Germany, in July 2017.

The total of 50 full and 7 short papers presented together with 5 keynotes and tutorials in the proceedings was carefully reviewed and selected from 191 submissions.

The CAV conference series is dedicated to the advancement of the theory and practice of computer-aided formal analysis of hardware and software systems. The conference covers the spectrum from theoretical results to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation.

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

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

The Nile Group Pty Ltd
42 Apex Drive, Truganina, VIC, 3029, Australia

Conditions de vente et de livraison

Conditions g�n�rales de vente

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, you're eligible for a refund within 30 days of the estimated delivery date. 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.

Droit de r�tractation

Conditions d'exp�dition

Please note that titles are dispatched from our UK and NZ warehouse. Delivery times specified in shipping terms. Orders ship within 2 business days. Delivery to your door then takes 8-15 days.

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

Frais d?exp�dition de Australie�vers�Etats-Unis
Quantit� command�e	25 � 45 jours ouvr�s	8 � 14 jours ouvr�s
Premier article	EUR 31.74	EUR 37.75

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.