«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
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 €
phone Contacto phoneCómo comprar
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

Hasta 30 días para devoluciones

Clientes que también han comprado

Капітан Кук. Книга друга Євгенія Чемерис / Libro Tapa blanda
common.buy 15.89 €
Ramsés II era un fumeta (y Hitler se pasó con las anfetas) Sam Kelly / Libro Libro
common.buy 20.99 €
Ne Medikamentoznye Tekhnologii Khadartsev Aleksandr / Libro Tapa blanda
common.buy 87.49 €
Aiden Melanie Moreland / Libro Tapa dura
common.buy 14.29 €
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 €
La guía de ejercicios de vivir del trading Alexander Elder / Libro Tapa blanda
common.buy 50.59 €
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 €

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
Autor Elena Gómez-Martínez
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
Editores Springer-Verlag GmbH
Peso 458

Categorías

Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
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

The Works Of The British Poets V10 Part 1: With Prefaces, Biographical And Critical (1795) Robert Anderson / Libro Tapa blanda
common.buy 38.69 €
Teachers and Teacher Education in Developing Countries Linda A. Dove / Libro Tapa dura
common.buy 180.49 €
Some Traditional plant extracts Salah El-Din Mohamed Labib / Libro Tapa blanda
common.buy 90.29 €
Socialism, Internationalism, and Development in the Third World David Brydan / Libro Tapa blanda
common.buy 48.19 €
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 €
Poetry of Edgar Allan Poe POE EDGAR ALLAN / Libro Tapa blanda
common.buy 8.29 €
NO LOVE, The Causes and Causal Resolution of Narcissism and Altruism Marion Kohn / Libro Tapa dura
common.buy 32.59 €
The Development of Psychoanalysis Sandor Ferenczi / Libro Tapa dura
common.buy 35.79 €
Lord Make It Plainer Part I: So I Can Understand James Edward / Libro Tapa blanda
common.buy 12.59 €
Hearts Aflame, Still Burning Rosa Nadine Xochimilco Sanchez / Libro Tapa blanda
common.buy 10.69 €
Half-Hours with the Stars Richard Anthony Proctor / Libro Tapa blanda
common.buy 12.89 €
Expressions: Stories for the Heart and Soul Kimberly Riggins / Libro Tapa blanda
common.buy 15.39 €
Popular
Bell 47/H-13 Sioux Helicopter: Military and Civilian Use, 1946 to the Present Wayne Mutza / Libro Tapa dura
common.buy 16.99 €
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 €
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.09 €

Inicio de sesión

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

 
obligatorio
obligatorio
Contraseña olvidada

¿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?