Dependable Software Engineering. Theories, Tools, and Applications: 11th International Symposium on Dependable Software Engineering: Theories, Tools, ... Oxford, UK, December 1–3, 2025, Proceedings - Couverture souple

9789819578252: Dependable Software Engineering. Theories, Tools, and Applications: 11th International Symposium on Dependable Software Engineering: Theories, Tools, ... Oxford, UK, December 1–3, 2025, Proceedings

Couverture souple

ISBN 10 : 9819578256 ISBN 13 : 9789819578252

Editeur : Springer Verlag, Singapore, 2026

Afficher les exemplaires de cette �dition comportant l'ISBN

This book constitutes the refereed proceedings of the 11th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications, SETTA 2025, held in Oxford, UK, during December 1–3, 2025.

The 18 full papers and 1 invited paper presented in this volume were carefully reviewed and selected from 46 submissions. The papers are organized in the following topical sections: Invited Contribution; Software Quality and System Design; Logic and Theorem Proving; Automata; Monitoring; Formal Verification; Neural Networks and Large Language Models; Blockchains and Distributed Protocols.

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

�diteur: Springer Verlag, Singapore
Date d'�dition: 2026
Langue: anglais
ISBN 10: 9819578256
ISBN 13: 9789819578252
Reliure: Broch�
Nombre de pages: 397
�diteur: Goharshady Amir, Haase Christoph
Coordonn�es du fabricant: GPSR Kontakt
ProductSafety@springernature.com

Slevogtstra�e 3-5
Heidelberg
69126
Allemagne

R�sultats de recherche pour Dependable Software Engineering. Theories, Tools, and...

Image d'archives

Dependable Software Engineering. Theories, Tools, and Applications (Paperback)

Amir Goharshady

Edit� par Springer Verlag, Singapore, Singapore, 2026

ISBN 10 : 9819578256 ISBN 13 : 9789819578252

Neuf Paperback

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 11th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications, SETTA 2025, held in Oxford, UK, during December 13, 2025.The 18 full papers and 1 invited paper presented in this volume were carefully reviewed and selected from 46 submissions. The papers are organized in the following topical sections: Invited Contribution; Software Quality and System Design; Logic and Theorem Proving; Automata; Monitoring; Formal Verification; Neural Networks and Large Language Models; Blockchains and Distributed Protocols. This book constitutes the refereed proceedings of the 11th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications, SETTA 2025, held in Oxford, UK, during December 13, 2025.The 18 full papers and Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N� de r�f. du vendeur 9789819578252

Contacter le vendeur

Acheter neuf

EUR 98,73

Livraison gratuite
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Dependable Software Engineering. Theories, Tools, and Applications

Amir Goharshady

Edit� par Springer Nature Singapore Mai 2026, 2026

ISBN 10 : 9819578256 ISBN 13 : 9789819578252

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 book constitutes the refereed proceedings of the 11th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications, SETTA 2025, held in Oxford, UK, during December 1 3, 2025.The 18 full papers and 1 invited paper presented in this volume were carefully reviewed and selected from 46 submissions. The papers are organized in the following topical sections: Invited Contribution; Software Quality and System Design; Logic and Theorem Proving; Automata; Monitoring; Formal Verification; Neural Networks and Large Language Models; Blockchains and Distributed Protocols. 384 pp. Englisch. N� de r�f. du vendeur 9789819578252

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

Dependable Software Engineering. Theories, Tools, and Applications

Edit� par Springer Verlag GmbH, 2026

ISBN 10 : 9819578256 ISBN 13 : 9789819578252

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 2871037073

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

Dependable Software Engineering. Theories, Tools, and Applications: 11th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2025, Oxford, UK, December 1-3, 2025, Proceedings

Edit� par Springer, 2026

ISBN 10 : 9819578256 ISBN 13 : 9789819578252

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 26405524180

Contacter le vendeur

Acheter neuf

EUR 124,61

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

Quantit� disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Dependable Software Engineering. Theories, Tools, And Applications: 11Th International Symposium On Dependable Software Engineering: Theories, Tools, And Applications, Setta 2025, Oxford, Uk, December 1�"3, 2025, Proceedings

Goharshady, Amir (Editor)/ Haase, Christoph (Editor)

Edit� par Springer Verlag, Singapore, 2026

ISBN 10 : 9819578256 ISBN 13 : 9789819578252

Neuf Paperback

Vendeur : Revaluation Books, Exeter, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : Brand New. 397 pages. 6.10x0.91x9.25 inches. In Stock. N� de r�f. du vendeur x-9819578256

Contacter le vendeur

Acheter neuf

EUR 114,15

Exp�dition �EUR 14,63
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Dependable Software Engineering. Theories, Tools, and Applications: 11th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2025, Oxford, UK, December 1-3, 2025, Proceedings

Edit� par Springer, 2026

ISBN 10 : 9819578256 ISBN 13 : 9789819578252

Neuf Couverture souple

impression � la demande

Vendeur : Majestic Books, Hounslow, Royaume-Uni

�valuation du vendeur 4 sur 5 �toiles

Etat : New. Print on Demand. N� de r�f. du vendeur 408711435

Contacter le vendeur

Acheter neuf

EUR 126,45

Exp�dition �EUR 7,61
Exp�dition depuis Royaume-Uni vers Etats-Unis

Quantit� disponible : 4 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Dependable Software Engineering. Theories, Tools, and Applications

Amir Goharshady

Edit� par Palgrave Macmillan Mai 2026, 2026

ISBN 10 : 9819578256 ISBN 13 : 9789819578252

Neuf Taschenbuch

impression � la demande

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the 11th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications, SETTA 2025, held in Oxford, UK, during December 13, 2025.The 18 full papers and 1 invited paper presented in this volume were carefully reviewed and selected from 46 submissions. The papers are organized in the following topical sections: Invited Contribution; Software Quality and System Design; Logic and Theorem Proving; Automata; Monitoring; Formal Verification; Neural Networks and Large Language Models; Blockchains and Distributed Protocols. 400 pp. Englisch. N� de r�f. du vendeur 9789819578252

Contacter le vendeur

Acheter neuf

EUR 79,17

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

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Dependable Software Engineering. Theories, Tools, and Applications: 11th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2025, Oxford, UK, December 1-3, 2025, Proceedings

Edit� par Springer, 2026

ISBN 10 : 9819578256 ISBN 13 : 9789819578252

Neuf Couverture souple

impression � la demande

Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne

�valuation du vendeur 4 sur 5 �toiles

Etat : New. PRINT ON DEMAND. N� de r�f. du vendeur 18405524190

Contacter le vendeur

Acheter neuf

EUR 129,37

Exp�dition �EUR 9,95
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 4 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Dependable Software Engineering. Theories, Tools, and Applications | 11th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2025, Oxford, UK, December 1-3, 2025, Proceedings

Amir Goharshady (u. a.)

Edit� par Springer, 2026

ISBN 10 : 9819578256 ISBN 13 : 9789819578252

Neuf Taschenbuch

Vendeur : preigu, Osnabr�ck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Dependable Software Engineering. Theories, Tools, and Applications | 11th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2025, Oxford, UK, December 1-3, 2025, Proceedings | Amir Goharshady (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiii | Englisch | 2026 | Springer | EAN 9789819578252 | Verantwortliche Person f�r die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. N� de r�f. du vendeur 135290710

Contacter le vendeur

Acheter neuf

EUR 71,95

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

Quantit� disponible : 5 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Dependable Software Engineering. Theories, Tools, and Applications : 11th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2025, Oxford, UK, December 1-3, 2025, Proceedings

Amir Goharshady

Edit� par Palgrave Macmillan, 2026

ISBN 10 : 9819578256 ISBN 13 : 9789819578252

Neuf Taschenbuch

impression � la demande

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 11th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications, SETTA 2025, held in Oxford, UK, during December 1 3, 2025.The 18 full papers and 1 invited paper presented in this volume were carefully reviewed and selected from 46 submissions. The papers are organized in the following topical sections: Invited Contribution; Software Quality and System Design; Logic and Theorem Proving; Automata; Monitoring; Formal Verification; Neural Networks and Large Language Models; Blockchains and Distributed Protocols. N� de r�f. du vendeur 9789819578252

Contacter le vendeur

Acheter neuf

EUR 86,08

Exp�dition �EUR 63,02
Exp�dition depuis Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Articles li�s � Dependable Software Engineering. Theories, Tools, and...

Dependable Software Engineering. Theories, Tools, and Applications: 11th International Symposium on Dependable Software Engineering: Theories, Tools, ... Oxford, UK, December 1–3, 2025, Proceedings - Couverture souple

Synopsis

R�sultats de recherche pour Dependable Software Engineering. Theories, Tools, and...

Acheter neuf

Acheter neuf

Acheter neuf

Acheter neuf

Acheter neuf

Acheter neuf

Acheter neuf

Acheter neuf

Acheter neuf

Acheter neuf