Hardware and Software: Verification and Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings

�diteur

Springer

Date de parution

2014

Langue

anglais

ISBN � 10 chiffres

3319133373

ISBN � 13 chiffres

9783319133379

Reliure

Paperback

�tat de l'article

NEAR FINE

Catalogues du vendeur

Computers & Technology

A propos de ce titre

Synopsis

This book constitutes the refereed proceedings of the 10th International Haifa Verification Conference, HVC 2014, held in Haifa, Israel, in November 2014. The 17 revised full papers and 4 short papers presented were carefully reviewed and selected from 43 submissions. The papers cover a wide range of topics in the sub-fields of testing and verification applicable to software, hardware, and complex hybrid systems.

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

Bookseller since 1987. Originally an open store, but now entirely internet-based. My inventory is not accessible for browsing by customers, but local pickup can be arranged. Books are carefully described, and I stand behind them. Most books have photos, and if they do not, customers are most welcome to request them or ask questions.

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

Irolita Books
ON, Canada

Conditions de vente et de livraison

Conditions g�n�rales de vente

Books may be returned with prior notice for any reason for a full refund. If we have misdescribed we will also pay for shipping. Please contact us at books@irolitabooks.com about any problems.

Photos or other details can be provided for any item prior to ordering. Please feel free to ask.

Conditions d'exp�dition

Orders normally ship same or next business day. European packages usually ship via APC Priority or PostNL with tracking.

We package carefully. Hardcovers and larger paperbacks are polybagged and boxed in a double layer of fitted cardboard. Very small paperbacks are polybagged and sent in padded mailers of appropriate size.

Shipping costs are calculated by weight and are as listed. Multiple book orders may qualify for discounted shipping.

Informations vendeur d�taill�es