Titre: Verified Software. Theories, Tools and Experiments: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected . (Lecture Notes in Computer Science, 14095)
�diteur: Springer
Date de parution: 2024
Langue: anglais
ISBN � 10 chiffres: 3031660633
ISBN � 13 chiffres: 9783031660634
Reliure: Couverture souple
�tat de l'article: New

A propos de ce titre

Synopsis

This book constitutes the refereed proceedings of the 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, October 23–24, 2023.

The 6 full papers presented in this volume were carefully reviewed and selected from 13 submissions. They focus on requirements modeling, specification languages, software design methods, automatic code generation, refinement methodologies, and more.

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

Kennys.ie is the largest exporter of books from Ireland currently exporting to approximately 100 countries around the world. Kennys Bookshop houses hundreds of thousands of books and specialises in collection development and library services, supplying booksellers and state and university libraries on a global scale including the U.S.A.,Japan and Europe. Kennys.ie is Ireland's Largest Online Bookshop.

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

Kennys Bookshop and Art Galleries Ltd.
Liosban Industrial Estate, Tuam Road, Galway, Ireland

Conditions de vente et de livraison

Conditions g�n�rales de vente

Terms of Sale - Credit Cards: Visa, Master Card, American Express, Diner.
Payment can also be made by bank draft in Euros, drawn on an Irish Bank.

We regret that PO Boxes are not acceptable to the U.S. as our courier will not deliver to them.

In case of returns or queries please contact us by email books@kennys.ie or by phone +353 91 709350

VAT Registration - IE2238521A

Conor Kenny

Droit de r�tractation

Conditions d'exp�dition

Free Shipping

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

Frais d?exp�dition de Irlande�vers�Etats-Unis
Quantit� command�e	12 � 22 jours ouvr�s	10 � 20 jours ouvr�s
Premier article	EUR 10.50	EUR 11.50

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.