Verified Software. Theories, Tools and Experiments: 17th International Conference, VSTTE 2025, Menlo Park, CA, USA, October 6, 2025, Revised Selected Papers - Couverture souple

9783032273390: Verified Software. Theories, Tools and Experiments: 17th International Conference, VSTTE 2025, Menlo Park, CA, USA, October 6, 2025, Revised Selected Papers

Couverture souple

ISBN 10 : 3032273390 ISBN 13 : 9783032273390

Editeur : Springer Nature Switzerland AG, 2026

Afficher les exemplaires de cette �dition comportant l'ISBN

This book constitutes the refereed proceedings of the 17th International Conference on Verified Software, VSTTE 2025, held in Menlo Park, USA, during October 6, 2025.

The 4 full papers and 2 short papers presented in this proceedings were carefully selected and reviewed from 15 submissions. The book also contains extended abstracts of an invited talk and an invited tutorial.

VSTTE focusses on critical research challenges in the spectrum of software verification.

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteur: Springer Nature Switzerland AG
Date d'�dition: 2026
Langue: anglais
ISBN 10: 3032273390
ISBN 13: 9783032273390
Reliure: Broch�
Nombre de pages: 124
�diteur: Pit-Claudel Cl�ment, Kosaian Katherine
Coordonn�es du fabricant: Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3,69115 Heidelberg, Germany
Heidelberg
69115
Allemagne

R�sultats de recherche pour Verified Software. Theories, Tools and Experiments:...

Image d'archives

Verified Software. Theories, Tools and Experiments: 17th International Conference, VSTTE 2025, Menlo Park, CA, USA, October 6, 2025, Revised Selected Papers (Lecture Notes in Computer Science, 16499)

Edit� par Springer, 2026

ISBN 10 : 3032273390 ISBN 13 : 9783032273390

Neuf Couverture souple

Vendeur : California Books, Miami, FL, Etats-Unis

�valuation du vendeur 4 sur 5 �toiles

Etat : New. N� de r�f. du vendeur I-9783032273390

Contacter le vendeur

Acheter neuf

EUR 61,31

Livraison gratuite
Exp�dition nationale�: Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Verified Software. Theories, Tools and Experiments (Paperback)

Clement Pit-Claudel

Edit� par Springer Nature Switzerland AG, Cham, 2026

ISBN 10 : 3032273390 ISBN 13 : 9783032273390

Neuf Paperback

impression � la demande

Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : new. Paperback. This book constitutes the refereed proceedings of the 17th International Conference on Verified Software, VSTTE 2025, held in Menlo Park, USA, during October 6, 2025.The 4 full papers and 2 short papers presented in this proceedings were carefully selected and reviewed from 15 submissions. The book also contains extended abstracts of an invited talk and an invited tutorial.VSTTE focusses on critical research challenges in the spectrum of software verification. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N� de r�f. du vendeur 9783032273390

Contacter le vendeur

Acheter neuf

EUR 67,88

Livraison gratuite
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Verified Software. Theories, Tools And Experiments: 17Th International Conference, Vstte 2025, Menlo Park, Ca, Usa, October 6, 2025, Revised Selected Papers

Pit-Claudel, Cl�ment (Editor)/ Kosaian, Katherine (Editor)

Edit� par Springer Nature Switzerland Ag, 2026

ISBN 10 : 3032273390 ISBN 13 : 9783032273390

Neuf Paperback

Vendeur : Revaluation Books, Exeter, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : Brand New. 124 pages. 6.14x0.28x9.21 inches. In Stock. N� de r�f. du vendeur x-3032273390

Contacter le vendeur

Acheter neuf

EUR 77,32

Exp�dition �EUR 11,73
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Verified Software. Theories, Tools and Experiments: 17th International Conference, VSTTE 2025, Menlo Park, CA, USA, October 6, 2025, Revised Selected Papers (Lecture Notes in Computer Science, 16499)

Edit� par Springer, 2026

ISBN 10 : 3032273390 ISBN 13 : 9783032273390

Neuf Couverture souple

Vendeur : Books Puddle, New York, NY, Etats-Unis

�valuation du vendeur 4 sur 5 �toiles

Etat : New. N� de r�f. du vendeur 26406536420

Contacter le vendeur

Acheter neuf

EUR 88,60

Exp�dition �EUR 3,49
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 4 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Verified Software. Theories, Tools and Experiments

Edit� par Springer Verlag GmbH, 2026

ISBN 10 : 3032273390 ISBN 13 : 9783032273390

Neuf Couverture souple

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur 3151187674

Contacter le vendeur

Acheter neuf

EUR 60,65

Exp�dition �EUR 48,99
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Verified Software. Theories, Tools and Experiments (Paperback)

Clement Pit-Claudel

Edit� par Springer Nature Switzerland AG, Cham, 2026

ISBN 10 : 3032273390 ISBN 13 : 9783032273390

Neuf Paperback

impression � la demande

Vendeur : CitiRetail, Stevenage, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : new. Paperback. This book constitutes the refereed proceedings of the 17th International Conference on Verified Software, VSTTE 2025, held in Menlo Park, USA, during October 6, 2025.The 4 full papers and 2 short papers presented in this proceedings were carefully selected and reviewed from 15 submissions. The book also contains extended abstracts of an invited talk and an invited tutorial.VSTTE focusses on critical research challenges in the spectrum of software verification. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. N� de r�f. du vendeur 9783032273390

Contacter le vendeur

Acheter neuf

EUR 67,02

Exp�dition �EUR 43,39
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Verified Software. Theories, Tools and Experiments : 17th International Conference, VSTTE 2025, Menlo Park, CA, USA, October 6, 2025, Revised Selected Papers

Katherine Kosaian

Edit� par Springer Nature Switzerland AG Aug 2026, 2026

ISBN 10 : 3032273390 ISBN 13 : 9783032273390

Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 17th International Conference on Verified Software, VSTTE 2025, held in Menlo Park, USA, during October 6, 2025.The 4 full papers and 2 short papers presented in this proceedings were carefully selected and reviewed from 15 submissions. The book also contains extended abstracts of an invited talk and an invited tutorial.VSTTE focusses on critical research challenges in the spectrum of software verification. N� de r�f. du vendeur 9783032273390

Contacter le vendeur

Acheter neuf

EUR 53,49

Exp�dition �EUR 61,04
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier