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

We carry a comprehensive range of out of print and rare books.

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

Kennys Bookshops and Art Galleries Limited
Liosban Industrial Estate, Tuam Road, Galway, GY, Ireland

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 websites.

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.

For any queries please use the contact seller link or send an email to books@kennys.ie

Conor Kenny

Droit de r�tractation

Conditions d'exp�dition

All books securely packaged. Some books ship from Ireland.

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

Frais d?exp�dition de Etats-Unis�vers�France
Quantit� command�e	16 � 22 jours ouvr�s	14 � 20 jours ouvr�s
Premier article	EUR 2.69	EUR 2.77

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.