Numerical Software Verification: 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings (Theoretical Computer Science and General Issues)

ISBN 10: 3030284220 ISBN 13: 9783030284220

Edit� par Springer, 2019

Langue: anglais

Neuf(s) Etat : New Couverture souple

Mettre de c�t�

Vendeur Lucky's Textbooks, Dallas, TX, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Vendeur AbeBooks depuis 22 juillet 2022

Afficher tous les articles du vendeur

Afficher tous les exemplaires de ce livre

Neuf(s) - Couverture souple

Prix: EUR 52,53 Autre devise

EUR 64,66 exp�dition depuis Etats-Unis vers France Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Mettre de c�t�

A propos de cet article

N� de r�f. du vendeur ABLIING23Mar3113020012322

Contacter le vendeur

Signaler cet article

D�tails bibliographiques

Titre : Numerical Software Verification: 12th ...

�diteur : Springer

Date d'�dition : 2019

Reliure : Couverture souple

Etat : New

A propos de ce titre

Synopsis :

This book constitutes the proceedings of the 12th International Workshop on Numerical Software Verification, NSV 2019, held in New York City, NY, USA, in July 2019 - colocated with the International Conference on Computer Aided Verification, CAV 2019.

The 5 full papers presented together with 2 short papers, 3 abstracts of invited talks, and 2 tutorial papers were carefully reviewed and selected from numerous submissions.

The NSV 2017 workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.

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

Quality books, speedy shipping, and great customer service! Please note that used items may not include access codes or cards, CD's or other accessories, regardless of what is stated in item title. If you need to guarantee that these items are included, please purchase a brand new copy.

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

J2B Holdings, LLC
13770 NOEL RD, #803600, Dallas, TX, 75240, U.S.A.

Conditions de vente :

We guarantee the condition of every book as it's described on the AbeBooks web
sites. Please note that used items may not include access codes or cards, CD's
or other accessories, regardless of what is stated in item title. If you need to
guarantee that these items are included, please purchase a brand new copy.

All requests for refunds and/or returns will be processed in accordance with
AbeBooks policies. If you're dissatisfied with your purchase (Incorrect Book/Not
as Described/Damaged) or if ...

Pour plus d'information

Conditions de livraison :

Books ordered via expedited shipping should arrive between 2 and 7 business days after shipment confirmation. Books ordered via standard shipping should arrive between 4 and 14 business days after shipment confirmation.

Modes de paiement
accept�s par le vendeur

Ajouter aux demandes de livres

Articles li�s � Numerical Software Verification: 12th International...

Numerical Software Verification: 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings (Theoretical Computer Science and General Issues)

Neuf(s) - Couverture souple

Informations commerciales relatives au vendeur