Name: Dependable Software Engineering. Theories, Tools, and Applications: 11th International Symposium on Dependable Software Engineering: Theories, Tools, (en Inglés)
SKU: 66894793
Price: 80.19 USD
Availability: InStock
Author: Goharshady, Amir; Haase, Christoph
ISBN: 9789819578252

portada Dependable Software Engineering. Theories, Tools, and Applications: 11th International Symposium on Dependable Software Engineering: Theories, Tools, (en Inglés)

Dependable Software Engineering. Theories, Tools, and Applications: 11th International Symposium on Dependable Software Engineering: Theories, Tools, (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Goharshady, Amir; Haase, Christoph

Idioma

Inglés

N° páginas

367

Encuadernación

Tapa Blanda

ISBN13

9789819578252

Dependable Software Engineering. Theories, Tools, and Applications: 11th International Symposium on Dependable Software Engineering: Theories, Tools, (en Inglés)

Goharshady, Amir; Haase, Christoph (Autor) · Springer · Tapa Blanda

Libro Nuevo Importado

Envío: 20 a 27 días háb.

$ 145.80$ 80.19

-45%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 80.19

Llega entre el 28 Sep y el 12 Oct a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Dependable Software Engineering. Theories, Tools, and Applications: 11th International Symposium on Dependable Software Engineering: Theories, Tools, (en Inglés)"

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.