Titre: Verified Software. Theories, Tools and Experiments: 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23?24, 2023, Revised Selected Papers (Lecture Notes in Computer Science)
�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

50+ Million Books in stock & ready to ship! Excellent Prices, Service & Selection.

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

Conditions de vente et de livraison

Conditions g�n�rales de vente

When you see an item on our listing, it means we have it available in one of our warehouses right here right now, ready for same day or next day processing of your order. Over 50+ Million books in stock & ready to ship same day. Customer Service is a top priority for us, we want every customer to be 100% satisfied. We offer the world's largest selection of books, music and video. Maintaining an accurate inventory of more than 50+ Million items, we are able to ship your order the same day it is r...

Pour plus d'information

Droit de r�tractation

Conditions d'exp�dition

SUPER FAST SHIPPING!

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

Frais d?exp�dition de Etats-Unis�vers�France
Quantit� command�e	20 � 30 jours ouvr�s	15 � 25 jours ouvr�s
Premier article	EUR 25.53	EUR 85.16

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.