LIBRISTO
LIBROAMANTO
obligatorio
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 Mensajería GLS 7.99 Mensajería Correos 5.49 Mensajería DHL 5.49 Punto SEUR 3.99

Envío gratis a partir de 69,99 euros.

Software Engineering and Formal Methods

Idioma InglésInglés
Libro Tapa blanda
Libro Software Engineering and Formal Methods Elena Gómez-Martínez
Código Libristo: 49776475
Editores Springer-Verlag GmbH, diciembre 2025
This volume constitutes the proceedings of 23rd International Conference on Software Engineering and... Descripción completa
? points 205 b
83.59
Almacenamiento externo Envío en 5-8 días

Política de devolución de 30 días


Clientes que también han comprado


Капітан Кук. Книга друга Євгенія Чемерис / Libro Tapa blanda
common.buy 15.89
Lulu & Bo toben im Herbstlaub Outi Kaden / Libro Tapa dura
common.buy 9.79
Tigrinya Alphabet and Words Workbook - Children's Book Kiazpora Publication / Libro Tapa blanda
common.buy 13.19
Etazhi Molchat Doma / Audio CD de audio
common.buy 20.29
Tavsan Pafpaf - Havuclu Kek Masallari Zeynep Alpaslan / Libro Tapa blanda
common.buy 10.09
La Fiesta de las Frutas Doris Alvarez / Libro Tapa blanda
common.buy 9.89
Ne Medikamentoznye Tekhnologii Khadartsev Aleksandr / Libro Tapa blanda
common.buy 87.49

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.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Software Engineering and Formal Methods
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2025
Número de páginas 261
EAN 9783032104434
ISBN 3032104432
Código Libristo 49776475
Peso 458
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle


Hearts Aflame, Still Burning Rosa Nadine Xochimilco Sanchez / Libro Tapa blanda
common.buy 10.69
English Air D.E. Stevenson / Libro Tapa blanda
common.buy 14.99
Wotan's Daughter Richard Davis / Libro Tapa blanda
common.buy 33.79
RoseNote Jane Smith / Libro Tapa blanda
common.buy 6.79
We Were Made for Each Other! Jiu Er / Libro Tapa dura
common.buy 14.99
Some Traditional plant extracts Salah El-Din Mohamed Labib / Libro Tapa blanda
common.buy 90.29
Half-Hours with the Stars Richard Anthony Proctor / Libro Tapa blanda
common.buy 12.89
Detection and Diagnostics of Plant Pathogens Peter J. M. Bonants / Libro Tapa blanda
common.buy 202.89
Story of Vermont Stephen C. Trombulak / Libro Tapa blanda
common.buy 24.19
Hepatobiliary System W. Taylor / Libro Tapa blanda
common.buy 56.59
Keys to Successful Fasting Dr Rosetta Stamp / Libro Tapa blanda
common.buy 16.39

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?