Software Engineering and Formal Methods: 23rd International Conference, SEFM 2025, Toledo, Spain, November 10–14, 2025, Proceedings - Couverture souple

9783032104434: Software Engineering and Formal Methods: 23rd International Conference, SEFM 2025, Toledo, Spain, November 10–14, 2025, Proceedings

Couverture souple

ISBN 10 : 3032104432 ISBN 13 : 9783032104434

Editeur : Springer, 2025

Afficher les exemplaires de cette �dition comportant l'ISBN

This volume constitutes the proceedings of 23rd International Conference on Software Engineering and Formal Methods, SEFM 2025, held in Toledo, Spain, on November 10–14, 2025.

The 13 full papers and 2 short papers included in this book were carefully reviewed and selected from 39 submissions. The proceedings also include 1 invited short paper. They were organized in topical sections as follows: security and resilience; formal specification and verification; software quality; and artificial intelligence and formal methods.

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

�diteur: Springer
Date d'�dition: 2025
Langue: anglais
ISBN 10: 3032104432
ISBN 13: 9783032104434
Reliure: Broch�
Nombre de pages: 300
�diteur: Bianculli Domenico, G�mez-Mart�nez Elena
Coordonn�es du fabricant: Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Allemagne

R�sultats de recherche pour Software Engineering and Formal Methods: 23rd International...

Image d'archives

Software Engineering and Formal Methods (eng)

Bianculli, Domenico

Edit� par Springer, 2025

ISBN 10 : 3032104432 ISBN 13 : 9783032104434

Neuf Couverture souple

impression � la demande

Vendeur : Brook Bookstore On Demand, Napoli, NA, Italie

�valuation du vendeur 5 sur 5 �toiles

Etat : new. Questo � un articolo print on demand. N� de r�f. du vendeur KT9QX180D7

Contacter le vendeur

Acheter neuf

EUR 65,43

Exp�dition �EUR 6,80
Exp�dition depuis Italie vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Software Engineering and Formal Methods (Paperback)

Domenico Bianculli

Edit� par Springer Nature Switzerland AG, Cham, 2025

ISBN 10 : 3032104432 ISBN 13 : 9783032104434

Neuf Paperback

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

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : new. Paperback. This volume constitutes the proceedings of 23rd International Conference on Software Engineering and Formal Methods, SEFM 2025, held in Toledo, Spain, on November 1014, 2025.The 13 full papers and 2 short papers included in this book were carefully reviewed and selected from 39 submissions. The proceedings also include 1 invited short paper. They were organized in topical sections as follows: security and resilience; formal specification and verification; software quality; and artificial intelligence and formal methods. This volume constitutes the proceedings of 23rd International Conference on Software Engineering and Formal Methods, SEFM 2025, held in Toledo, Spain, on November 1014, 2025.The 13 full papers and 2 short papers included in this book were carefully reviewed and selected from 39 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N� de r�f. du vendeur 9783032104434

Contacter le vendeur

Acheter neuf

EUR 97,21

Livraison gratuite
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Software Engineering and Formal Methods

Domenico Bianculli

Edit� par Springer, Berlin, Springer Nature Switzerland, Springer, 2025

ISBN 10 : 3032104432 ISBN 13 : 9783032104434

Neuf Taschenbuch

impression � la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume constitutes the proceedings of 23rd International Conference on Software Engineering and Formal Methods, SEFM 2025, held in Toledo, Spain, on November 10 14, 2025.The 13 full papers and 2 short papers included in this book were carefully reviewed and selected from 39 submissions. The proceedings also include 1 invited short paper. They were organized in topical sections as follows: security and resilience; formal specification and verification; software quality; and artificial intelligence and formal methods. 280 pp. Englisch. N� de r�f. du vendeur 9783032104434

Contacter le vendeur

Acheter neuf

EUR 79,17

Exp�dition �EUR 23
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Software Engineering and Formal Methods

Edit� par Springer Verlag GmbH, 2025

ISBN 10 : 3032104432 ISBN 13 : 9783032104434

Neuf Couverture souple

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. N� de r�f. du vendeur 2647690973

Contacter le vendeur

Acheter neuf

EUR 69,44

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

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Software Engineering and Formal Methods (Paperback)

Domenico Bianculli

Edit� par Springer Nature Switzerland AG, Cham, 2025

ISBN 10 : 3032104432 ISBN 13 : 9783032104434

Neuf Paperback

Vendeur : CitiRetail, Stevenage, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : new. Paperback. This volume constitutes the proceedings of 23rd International Conference on Software Engineering and Formal Methods, SEFM 2025, held in Toledo, Spain, on November 1014, 2025.The 13 full papers and 2 short papers included in this book were carefully reviewed and selected from 39 submissions. The proceedings also include 1 invited short paper. They were organized in topical sections as follows: security and resilience; formal specification and verification; software quality; and artificial intelligence and formal methods. This volume constitutes the proceedings of 23rd International Conference on Software Engineering and Formal Methods, SEFM 2025, held in Toledo, Spain, on November 1014, 2025.The 13 full papers and 2 short papers included in this book were carefully reviewed and selected from 39 submissions. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. N� de r�f. du vendeur 9783032104434

Contacter le vendeur

Acheter neuf

EUR 74,84

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

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Software Engineering and Formal Methods: 23rd International Conference, SEFM 2025, Toledo, Spain, November 10?14, 2025, Proceedings

Edit� par Springer, 2025

ISBN 10 : 3032104432 ISBN 13 : 9783032104434

Neuf Couverture souple

Vendeur : Books Puddle, Woodside, NY, Etats-Unis

�valuation du vendeur 4 sur 5 �toiles

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

Contacter le vendeur

Acheter neuf

EUR 122,17

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

Quantit� disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Software Engineering and Formal Methods: 23rd International Conference, SEFM 2025, Toledo, Spain, November 1014, 2025, Proceedings (Lecture Notes in Computer Science, 16192)

G�mez-Mart�nez, Elena (Editor)/ Bianculli, Domenico (Editor)

Edit� par Springer, 2025

ISBN 10 : 3032104432 ISBN 13 : 9783032104434

Neuf Paperback

Vendeur : Revaluation Books, Exeter, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : Brand New. 261 pages. 9.25x6.10x9.25 inches. In Stock. N� de r�f. du vendeur x-3032104432

Contacter le vendeur

Acheter neuf

EUR 117,08

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

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Software Engineering and Formal Methods : 23rd International Conference, SEFM 2025, Toledo, Spain, November 10-14, 2025, Proceedings

Domenico Bianculli

Edit� par Springer, 2025

ISBN 10 : 3032104432 ISBN 13 : 9783032104434

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 volume constitutes the proceedings of 23rd International Conference on Software Engineering and Formal Methods, SEFM 2025, held in Toledo, Spain, on November 10 14, 2025.The 13 full papers and 2 short papers included in this book were carefully reviewed and selected from 39 submissions. The proceedings also include 1 invited short paper. They were organized in topical sections as follows: security and resilience; formal specification and verification; software quality; and artificial intelligence and formal methods. N� de r�f. du vendeur 9783032104434

Contacter le vendeur